Sciweavers

2377 search results - page 21 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2010
Springer
15 years 8 months 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 9 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 9 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 9 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
175
Voted
SAC
2010
ACM
16 years 28 days 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