ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
Numerical Software Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-319-54292-8_5
◽
2017
◽
pp. 52-62
Author(s):
Alexandre Chapoutot
◽
Julien Alexandre dit Sandretto
Keyword(s):
Hybrid Systems
Download Full-text
Related Documents
Cited By
References
Handbook of Hybrid Systems Control
10.1017/cbo9780511807930
◽
2009
◽
Cited By ~ 141
Keyword(s):
Hybrid Systems
◽
Systems Control
Download Full-text
Hybrid systems for transuranic waste transmutation in nuclear power reactors: state-of-the art and future prospects
Uspekhi Fizicheskih Nauk
◽
10.3367/ufnr.0184.201411f.1237
◽
2014
◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Cited By ~ 3
Author(s):
Dmitrii V. Yurov
◽
Vadim V. Prikhodko
Keyword(s):
Hybrid Systems
◽
Nuclear Power
◽
State Of The Art
◽
Future Prospects
◽
Transuranic Waste
Download Full-text
Representations of Solutions for Controlled Hybrid Systems
Journal of Automation and Information Sciences
◽
10.1615/jautomatinfscien.v34.i11.20
◽
2002
◽
Vol 34
(11)
◽
pp. 8
Author(s):
Vladimir M. Marchenko
Keyword(s):
Hybrid Systems
Download Full-text
Learning to Coordinate Control Policies of Hybrid Systems
1993 American Control Conference
◽
10.23919/acc.1993.4792798
◽
1993
◽
Cited By ~ 3
Author(s):
M.D. Lemrnon
◽
J. Stiver
◽
P.J. Antsaklis
Keyword(s):
Hybrid Systems
◽
Control Policies
◽
Coordinate Control
Download Full-text
Bounded model switching in uncertain hybrid systems
Proceedings of the 2004 American Control Conference
◽
10.23919/acc.2004.1384676
◽
2004
◽
Author(s):
P.G. Otanez
◽
M.E. Campbell
Keyword(s):
Hybrid Systems
Download Full-text
p-th moment exponential stabilization of a class of stochastic hybrid systems via sampling data for the case p>2
2019 Chinese Control Conference (CCC)
◽
10.23919/chicc.2019.8866338
◽
2019
◽
Author(s):
Feng Lingyu
◽
Zhang Jian
◽
Mu Xiaowu
Keyword(s):
Hybrid Systems
◽
Exponential Stabilization
◽
Stochastic Hybrid Systems
Download Full-text
Complexity of elementary hybrid systems
1997 European Control Conference (ECC)
◽
10.23919/ecc.1997.7082569
◽
1997
◽
Cited By ~ 1
Author(s):
Vincent D. Blondel
◽
John N. Tsitsiklis
Keyword(s):
Hybrid Systems
Download Full-text
Approximation of viability kernels and capture basins for hybrid systems
2001 European Control Conference (ECC)
◽
10.23919/ecc.2001.7076351
◽
2001
◽
Cited By ~ 8
Author(s):
Patrick Saint-Pierre
Keyword(s):
Hybrid Systems
Download Full-text
Discrete-time stability of hybrid systems modeled by linear impulsive systems
2003 European Control Conference (ECC)
◽
10.23919/ecc.2003.7086551
◽
2003
◽
Author(s):
E. Joelianto
◽
D. Williamson
Keyword(s):
Hybrid Systems
◽
Discrete Time
◽
Impulsive Systems
◽
Time Stability
Download Full-text
Extending affine control policies to hybrid systems: Robust control of a DC-DC buck converter
2013 European Control Conference (ECC)
◽
10.23919/ecc.2013.6669776
◽
2013
◽
Cited By ~ 1
Author(s):
Robin Vujanic
◽
Marius Schmitt
◽
Joseph Warrington
◽
Manfred Morari
Keyword(s):
Robust Control
◽
Hybrid Systems
◽
Buck Converter
◽
Control Policies
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close