Positive loop-closed automata: A decidable class of hybrid systems

DOI10.1016/S1567-8326(02)00024-3MaRDI QIDQ1858439zbMATH OpenFDO

Authors Xuandong Li, Yu Pei, Yong Li, Guoliang Zheng, Jian-hua Zhao, T. Zheng

Publication date 13 February 2003

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1567-8326(02)00024-3

zbMATH Keywords

hybrid automatalinear duration propertiesmodel checkingreal-time and hybrid systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Efficient verification of a class of linear hybrid automata using linear programming
• scientific article; zbMATH DE number 744075
• The algorithmic analysis of hybrid systems
• scientific article; zbMATH DE number 1263213
• What's decidable about hybrid automata?

Cites work

• A calculus of durations
• A theory of timed automata
• Algorithmic analysis of nonlinear hybrid systems
• Decidable integration graphs.
• Efficient verification of a class of linear hybrid automata using linear programming
• Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, Lübeck, Germany, September 19--23, 1994. Proceedings
• HyTech: A model checker for hybrid systems
• Symbolic model checking for rectangular hybrid systems
• The algorithmic analysis of hybrid systems
• The theory of hybrid automata
• What's decidable about hybrid automata?

Cited in

(4)

• Duration-constrained regular expressions
• Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
• Analysis of Linear Hybrid Systems in CLP
• Efficient verification of a class of linear hybrid automata using linear programming

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Positive loop-closed automata: A decidable class of hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1858439)