Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces-Reference-Cited by-同舟云学术

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

Author:

Damm Werner,Dierks Henning,Disch Stefan,Hagemann Willem,Pigorsch Florian,Scholl Christoph,Waldmann Uwe,Wirtz Boris

Publisher

Elsevier BV

Subject

Software

Reference48 articles.

1. Automatic verification of hybrid systems with large discrete state space;Damm,2006

2. Exact state set representations in the verification of linear hybrid systems with large discrete state space;Damm,2007

3. Computing optimized representations for non-convex polyhedra by detection and removal of redundant linear constraints;Scholl,2009

4. Abstraction and counterexample-guided construction of ω-automata for model checking of step-discrete linear hybrid models;Segelken,2007

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Timed Automata Verification and Synthesis via Finite Automata Learning;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Towards a Formalisation of Justification and Justifiability;Electronic Proceedings in Theoretical Computer Science;2021-10-21

4. Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2019-10