Sciweavers

119 search results - page 3 / 24
» Controllability and reachability criteria for switched linea...
Sort
View
HYBRID
2000
Springer
13 years 9 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
13 years 3 months ago
Switching time estimation for linear switched systems: an algebraic approach
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
Yang Tian, Thierry Floquet, Lotfi Belkoura, Wilfri...
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
13 years 7 months ago
Real-time estimation for switched linear systems
We extend previous works on real-time estimation, via algebraic techniques, to the recovering of the switching signal and of the state for switching linear systems. We characterize...
Michel Fliess, Cédric Join, Wilfrid Perruqu...
HYBRID
2007
Springer
13 years 12 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
HYBRID
2009
Springer
14 years 17 days ago
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
Radu Grosu