Sciweavers

2377 search results - page 21 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2010
Springer
15 years 18 days ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
HYBRID
1995
Springer
15 years 2 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
HYBRID
1995
Springer
15 years 2 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
14 years 2 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
SAC
2010
ACM
15 years 5 months ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider