Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.38 ◽

2008 ◽

Author(s):

Sumit Kumar Jha ◽

Susmit Jha

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

2007 IEEE Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2007.4295318 ◽

2007 ◽

Author(s):

Marc Herbstritt ◽

Bernd Becker ◽

Erika Abraham ◽

Christian Herde

Keyword(s):

Model Checking ◽

Variable Selection ◽

Bounded Model Checking ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1093/ietfec/e88-a.11.2972 ◽

2005 ◽

Vol E88-A (11) ◽

pp. 2972-2981

Author(s):

Y. MUTSUDA

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata

Formal Methods in System Design ◽

10.1007/s10703-014-0210-3 ◽

2014 ◽

Vol 45 (1) ◽

pp. 42-62 ◽

Author(s):

Dingbao Xie ◽

Lei Bu ◽

Jianhua Zhao ◽

Xuandong Li

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Directed Path ◽

Linear Hybrid Automata

Download Full-text

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_7 ◽

2012 ◽

pp. 35-49 ◽

Author(s):

Lei Bu ◽

Yang Yang ◽

Xuandong Li

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_2 ◽

2020 ◽

pp. 10-43

Author(s):

Lei Bu ◽

Jiawan Wang ◽

Yuming Wu ◽

Xuandong Li

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_23 ◽

2022 ◽

pp. 473-495

Author(s):

Yuming Wu ◽

Lei Bu ◽

Jiawan Wang ◽

Xinyue Ren ◽

Wen Xiong ◽

...

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Loop reduction techniques for reachability analysis of linear hybrid automata

Science China Information Sciences ◽

10.1007/s11432-012-4726-0 ◽

2012 ◽

Vol 55 (12) ◽

pp. 2663-2674 ◽

Author(s):

MinXue Pan ◽

You Li ◽

Lei Bu ◽

XuanDong Li

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Reduction Techniques ◽

Linear Hybrid Automata

Download Full-text

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-75454-1_18 ◽

2007 ◽

pp. 241-256 ◽

Author(s):

Susmit Jha ◽

Bryan A. Brady ◽

Sanjit A. Seshia

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement

2007 American Control Conference ◽

10.1109/acc.2007.4282139 ◽

2007 ◽

Author(s):

Shengbing Jiang

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Abstraction Refinement ◽

Linear Hybrid Automata

Download Full-text

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Science of Computer Programming ◽

10.1016/j.scico.2011.07.006 ◽

2012 ◽

Vol 77 (10-11) ◽

pp. 1122-1150 ◽

Author(s):

Werner Damm ◽

Henning Dierks ◽

Stefan Disch ◽

Willem Hagemann ◽

Florian Pigorsch ◽

...

Keyword(s):

Hybrid Automata ◽

State Spaces ◽

Discrete State ◽

Linear Hybrid Automata ◽

Symbolic Verification

Download Full-text