scholarly journals Reachability Analysis of Hybrid Systems via Predicate Abstraction

2002 ◽  
pp. 35-48 ◽  
Author(s):  
Rajeev Alur ◽  
Thao Dang ◽  
Franjo Ivančić
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Predicate Abstraction

scholarly journals Predicate abstraction for reachability analysis of hybrid systems

2006 ◽  
Vol 5 (1) ◽  
pp. 152-199 ◽  
Author(s):  
Rajeev Alur ◽  
Thao Dang ◽  
Franjo Ivančić
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Predicate Abstraction

Symbolic Reachability Analysis of Hybrid Systems

2009 ◽  
Vol 19 (12) ◽  
pp. 3111-3121 ◽  
Author(s):  
Hai-Bin ZHANG ◽  
Zhen-Hua DUAN
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

2013 ◽  
Vol 33 (5) ◽  
pp. 1289-1293
Author(s):  
Jin ZOU ◽  
Wang LIN ◽  
Yong LUO ◽  
Zhenbing ZENG
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Nonlinear Hybrid

A Benchmark Suite for Hybrid Systems Reachability Analysis

2015 ◽  
pp. 408-414 ◽  
Author(s):  
Xin Chen ◽  
Stefan Schupp ◽  
Ibtissem Ben Makhlouf ◽  
Erika Ábrahám ◽  
Goran Frehse ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Benchmark Suite

Parallel reachability analysis of hybrid systems in XSpeed

2018 ◽  
Vol 21 (4) ◽  
pp. 401-423 ◽  
Author(s):  
Amit Gurung ◽  
Rajarshi Ray ◽  
Ezio Bartocci ◽  
Sergiy Bogomolov ◽  
Radu Grosu
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis

Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems

2004 ◽  
pp. 111-125 ◽  
Author(s):  
Călin Belta ◽  
Peter Finin ◽  
Luc C. G. J. M. Habets ◽  
Ádám M. Halász ◽  
Marcin Imieliński ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Stringent Response ◽  
Reachability Analysis

scholarly journals Set Propagation Techniques for Reachability Analysis

2020 ◽  
Vol 4 (1) ◽  
Author(s):  
Matthias Althoff ◽  
Goran Frehse ◽  
Antoine Girard
Keyword(s):  
Hybrid Systems ◽  
Fundamental Problem ◽  
Autonomous Systems ◽  
Reachability Analysis ◽  
Controller Synthesis ◽  
Annual Review ◽  
Publication Date ◽  
Initial States ◽  
Set Of Initial States ◽  
Real World Problems

Reachability analysis consists in computing the set of states that are reachable by a dynamical system from all initial states and for all admissible inputs and parameters. It is a fundamental problem motivated by many applications in formal verification, controller synthesis, and estimation, to name only a few. This article focuses on a class of methods for computing a guaranteed overapproximation of the reachable set of continuous and hybrid systems, relying predominantly on set propagation; starting from the set of initial states, these techniques iteratively propagate a sequence of sets according to the system dynamics. After a review of set representation and computation, the article presents the state of the art of set propagation techniques for reachability analysis of linear, nonlinear, and hybrid systems. It ends with a discussion of successful applications of reachability analysis to real-world problems. Expected final online publication date for the Annual Review of Control, Robotics, and Autonomous Systems, Volume 4 is May 3, 2021. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.

Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems

2007 ◽  
Vol 1 (2) ◽  
pp. 130-148 ◽  
Author(s):  
Á. Halász ◽  
V. Kumar ◽  
M. Imieliński ◽  
S. Pathak ◽  
O. Sokolsky ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Lactose Metabolism
Sign in / Sign up

Export Citation Format

Share Document