Search Sciweavers | Sciweavers

613 search results - page 2 / 123

» Observability of Linear Hybrid Systems

click to vote

HYBRID
2005
Springer

86views Control Systems» more HYBRID 2005»

Observability of Switched Linear Systems in Continuous Time

14 years 18 days ago

Download www.seas.upenn.edu

Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...

Mohamed Babaali, George J. Pappas

claim paper

Read More »

click to vote

HYBRID
2003
Springer

123views Control Systems» more HYBRID 2003»

Model Checking LTL over Controllable Linear Systems Is Decidable

14 years 8 days ago

Download www.ee.ucla.edu

Abstract. The use of algorithmic veriﬁcation and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...

Paulo Tabuada, George J. Pappas

claim paper

Read More »

click to vote

HYBRID
2007
Springer

113views Control Systems» more HYBRID 2007»

Approximately Bisimilar Finite Abstractions of Stable Linear Systems

14 years 1 months ago