In previous works, Hierarchical Hybrid Automata (HHA) have been proposed as a combination of UML state machine diagrams and hybrid automata to model complex and in particular multi-agent systems. This approach enables formal system specification on different levels of abstraction and expresses real-time system behavior. A prototype was implemented using constraint logic programming (CLP) as a framework to specify and verify these HHA. However, it still requires the user to write a CLP program in order to specify the HHA, which is a tedious and error-prone work. Therefore, this paper aims at simplifying the verification process by introducing a tool environment where a HHA model together with requirements are entered graphically and the process of verification is achieved automatically. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Mohammed, A., & Schwarz, C. (2009). HieroMate: A graphical tool for specification and verification of hierarchical hybrid automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5803 LNAI, pp. 695–702). https://doi.org/10.1007/978-3-642-04617-9_87
Mendeley helps you to discover research relevant for your work.