Sciweavers

539 search results - page 15 / 108
» Observability of Switched Linear Systems
Sort
View
CORR
2010
Springer
80views Education» more  CORR 2010»
13 years 10 months ago
Fault Diagnosis with Dynamic Observers
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Dynamic observers can switch sensors on or off, thus ...
Franck Cassez, Stavros Tripakis
CORR
2008
Springer
124views Education» more  CORR 2008»
13 years 10 months ago
Scheduling Kalman Filters in Continuous Time
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate o...
Jerome Le Ny, Eric Feron, Munther A. Dahleh
HYBRID
1999
Springer
14 years 2 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse
TLCA
2009
Springer
14 years 4 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger
TASE
2007
IEEE
14 years 4 months ago
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
Franck Cassez, Stavros Tripakis, Karine Altisen