Sciweavers

412 search results - page 5 / 83
» Observability of Switched Linear Systems in Continuous Time
Sort
View
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
14 years 1 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
HYBRID
2003
Springer
14 years 20 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification 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
HYBRID
2007
Springer
14 years 1 months ago
Optimal Switches in Multi-inventory Systems
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
Dario Bauso
APN
2005
Springer
14 years 1 months ago
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
Manuel Silva, Laura Recalde
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
13 years 7 months ago
Invertibility of switched linear systems
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...
Linh Vu, Daniel Liberzon