Towards Concolic Testing for Hybrid Systems

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_28 ◽

2016 ◽

pp. 460-478 ◽

Author(s):

Pingfan Kong ◽

Yi Li ◽

Xiaohong Chen ◽

Jun Sun ◽

Meng Sun ◽

...

Keyword(s):

Hybrid Systems ◽

Concolic Testing

Download Full-text

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling

10.32657/10356/65915 ◽

2016 ◽

Author(s):

Pingfan Kong

Keyword(s):

Model Checking ◽

Hybrid Systems ◽

Importance Sampling ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Concolic Testing

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