Sciweavers

882 search results - page 2 / 177
» Observing Infinite-dimensional Dynamical Systems
Sort
View
AMC
2005
105views more  AMC 2005»
13 years 5 months ago
Symbolic computing of nonlinear observable and observer forms
Observer design for highly nonlinear dynamics is an important issue, particularly when the locally observable dynamics are not linearly observable. In such circumstances the abili...
Harry G. Kwatny, Bor-Chin Chang
MCSS
2006
Springer
13 years 5 months ago
Global complete observability and output-to-state stability imply the existence of a globally convergent observer
In this paper we consider systems which are globally completly observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dyna...
Alessandro Astolfi, Laurent Praly
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 7 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
CORR
2010
Springer
80views Education» more  CORR 2010»
13 years 5 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
2010
Springer
94views Education» more  CORR 2010»
13 years 5 months ago
Dynamic Observers for Fault Diagnosis of Timed Systems
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
Franck Cassez