412 search results - page 4 / 83 » Observability of Switched Linear Systems in Continuous Time |
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
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...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
AUTOMATICA
2008
2008
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions
13 years 6 months ago
Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admi...
TII
2010
13 years 2 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...