Sciweavers

2366 search results - page 131 / 474
» Pfaffian Hybrid Systems
Sort
View
FSS
2002
94views more  FSS 2002»
15 years 21 days ago
Hierarchical neuro-fuzzy quadtree models
Hybrid neuro-fuzzy systems have been in evidence during the past few years, due to its attractive combination of the learning capacity of arti
Flávio Joaquim de Souza, Marley B. R. Vella...
KI
2010
Springer
14 years 7 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
HYBRID
2003
Springer
15 years 6 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
CONCUR
2006
Springer
15 years 4 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...