Sciweavers

4985 search results - page 10 / 997
» Observation of String-Rewriting Systems
Sort
View
FORMATS
2007
Springer
13 years 11 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
14 years 2 months ago
Observability of vortex flows
Arthur J. Krener
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
14 years 2 months ago
Discrete-time sliding mode neural observer for continuous time mechanical systems
— This paper proposes a novel discrete­time veloc­ ity observer which uses neural network and sliding mode for unknown continuous time mechanical systems. The neural observer i...
Juan Resendiz, Wen Yu, Leonid M. Fridman
CDC
2008
IEEE
14 years 2 months ago
Proportional-Integral Observer design for nonlinear systems
— A new dissipative method to design observers for a large class of nonlinear systems has been introduced recently by the author. It generalizes and includes several wellknown ob...
Jaime A. Moreno
TASE
2007
IEEE
14 years 1 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