SMT-based reachability analysis for Simply-Timed Systems

Scientific Issues Jan Długosz University in Częstochowa Mathematics ◽

10.16926/m.2015.20.09 ◽

2015 ◽

Vol 20 ◽

pp. 83-92

Author(s):

Agnieszka M. Zbrzezny ◽

Andrzej Zbrzezny

Keyword(s):

Reachability Analysis ◽

Download Full-text

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

10.1007/978-3-030-85248-1_9 ◽

2021 ◽

pp. 149-166

Author(s):

Andrej Kiviriga ◽

Kim Guldstrand Larsen ◽

Ulrik Nyman

Keyword(s):

Error Detection ◽

Reachability Analysis ◽

Download Full-text

Trajectory Planning Under Stochastic and Bounded Sensing Uncertainties Using Reachability Analysis

Proceedings of the 33rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2020) ◽

10.33012/2020.17518 ◽

2020 ◽

Author(s):

Akshay Shetty ◽

Grace Xingxin Gao

Keyword(s):

Trajectory Planning ◽

Reachability Analysis

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

Symbolic Reachability Analysis of Hybrid Systems

Journal of Software ◽

10.3724/sp.j.1001.2008.03111 ◽

2009 ◽

Vol 19 (12) ◽

pp. 3111-3121 ◽

Author(s):

Hai-Bin ZHANG ◽

Zhen-Hua DUAN

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01289 ◽

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

Download Full-text

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

Reachability analysis for hybrid systems with nonlinear guard sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382194 ◽

2020 ◽

Author(s):

Niklas Kochdumper ◽

Matthias Althoff

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

A tool-suite for reachability analysis of concurrent object-oriented programs

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640173 ◽

2002 ◽

Author(s):

S. Iyer ◽

S. Ramesh

Keyword(s):

Object Oriented ◽

Reachability Analysis

Download Full-text

Trace Compaction using SAT-based Reachability Analysis

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358109 ◽

2007 ◽

Author(s):

Sean Safarpour ◽

Andreas Veneris ◽

Hratch Mangassarian

Keyword(s):

Reachability Analysis

Download Full-text

A Symbolic Decision Procedure for Robust Safety of Timed Systems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.39 ◽

2007 ◽

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

Download Full-text