Computing differential invariants of hybrid systems as fixedpoints

Formal Methods in System Design ◽

10.1007/s10703-009-0079-8 ◽

2009 ◽

Vol 35 (1) ◽

pp. 98-120 ◽

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

Computing Differential Invariants of Hybrid Systems as Fixedpoints

10.21236/ada476791 ◽

2008 ◽

Author(s):

Andre Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

Computing Differential Invariants of Hybrid Systems as Fixedpoints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_17 ◽

2008 ◽

pp. 176-189 ◽

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

A proof-based method of hybrid systems development using differential invariants

Frontiers of Computer Science ◽

10.1007/s11704-018-7213-y ◽

2018 ◽

Vol 12 (5) ◽

pp. 1026-1028

Author(s):

Jie Liu ◽

Jing Liu ◽

Miaomiao Zhang ◽

Haiying Sun ◽

Xiaohong Chen ◽

...

Keyword(s):

Hybrid Systems ◽

Systems Development ◽

Differential Invariants

Download Full-text

Handbook of Hybrid Systems Control

10.1017/cbo9780511807930 ◽

2009 ◽

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 ◽

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):

Download Full-text

Learning to Coordinate Control Policies of Hybrid Systems

1993 American Control Conference ◽

10.23919/acc.1993.4792798 ◽

1993 ◽

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):

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 ◽

Author(s):

Vincent D. Blondel ◽

John N. Tsitsiklis

Keyword(s):

Download Full-text