Automata-based analysis of stage suspended boom systems

DOI10.1155/2013/739253zbMath1267.68134OpenAlexW2063279964WikidataQ59004180 ScholiaQ59004180MaRDI QIDQ2375655

Juan Wang, Yongquan Zhou, Shihan Yang, Jinzhao Wu, Anping He

Publication date: 14 June 2013

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/739253

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• Algorithmic analysis of nonlinear hybrid systems
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• Hybrid Systems: Computation and Control
• Foundations of Software Science and Computation Structures