Sciweavers

3823 search results - page 57 / 765
» Stability of Hybrid Systems
Sort
View
129
Voted
IJCSS
2000
176views more  IJCSS 2000»
15 years 18 days ago
AI-based discrete sliding-mode control for real-time implementation
Combination of sliding-mode control and an AI block based on fuzzy logic is introduced. This hybrid control structure provides very good control performance and robustness of contr...
Vladimir B. Bajic, Daohang Sha, Xinzhong Li, Xingm...
LICS
2012
IEEE
13 years 3 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
STTT
2008
88views more  STTT 2008»
15 years 21 days ago
PHAVer: algorithmic verification of hybrid systems past HyTech
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
Goran Frehse
152
Voted
HYBRID
2010
Springer
15 years 2 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
112
Voted
HYBRID
2005
Springer
15 years 6 months ago
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
Robin L. Raffard, Jianghai Hu, Claire Tomlin