Formally Verified Architectural Patterns of Hybrid Systems Using Proof and Refinement with Event-B

Science of Computer Programming ◽

10.1016/j.scico.2021.102765 ◽

2021 ◽

pp. 102765

Author(s):

Guillaume Dupont ◽

Yamine Ait-Ameur ◽

Neeraj Kumar Singh ◽

Marc Pantel

Keyword(s):

Hybrid Systems ◽

Architectural Patterns

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

Approximation of viability kernels and capture basins for hybrid systems

2001 European Control Conference (ECC) ◽

10.23919/ecc.2001.7076351 ◽

2001 ◽

Author(s):

Patrick Saint-Pierre

Keyword(s):

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 ◽

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 ◽

Author(s):

Robin Vujanic ◽

Marius Schmitt ◽

Joseph Warrington ◽

Manfred Morari

Keyword(s):

Robust Control ◽

Hybrid Systems ◽

Buck Converter ◽

Control Policies

Download Full-text