Sciweavers

3053 search results - page 107 / 611
» Hybrid Systems Diagnosis
Sort
View
INFORMATICALT
2006
96views more  INFORMATICALT 2006»
13 years 10 months ago
A Note about Total Stability of a Class of Hybrid Systems
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...
Manuel de la Sen
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
13 years 5 months ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera
IJCAI
2003
13 years 11 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
VTC
2006
IEEE
14 years 4 months ago
A Novel Hybrid ARQ Scheme Based on Shift Column Permutation Bit Interleaving for OFDM Systems
—In this paper, a novel hybrid ARQ scheme based on shift column permutation bit interleaving is proposed for OFDM systems. When a packet is requested for retransmission, we can u...
Junwoo Jung, Hyungwon Park, Jaesung Lim
HYBRID
2005
Springer
14 years 3 months ago
Non-uniqueness in Reverse Time of Hybrid System Trajectories
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
Ian A. Hiskens