Sciweavers

2366 search results - page 19 / 474
» Pfaffian Hybrid Systems
Sort
View
HYBRID
1999
Springer
14 years 2 months ago
A New Class of Decidable Hybrid Systems
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
Gerardo Lafferriere, George J. Pappas, Sergio Yovi...
HYBRID
2010
Springer
13 years 11 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
HYBRID
1995
Springer
14 years 1 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
HYBRID
1995
Springer
14 years 1 months ago
Deciding Reachability for Planar Multi-polynomial Systems
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
Karlis Cerans, Juris Viksna
ICANN
2011
Springer
13 years 1 months ago
Hybrid Parallel Classifiers for Semantic Subspace Learning
Subspace learning is very important in today's world of information overload. Distinguishing between categories within a subset of a large data repository such as the web and ...
Nandita Tripathi, Michael P. Oakes, Stefan Wermter