Review
Version 1
Preserved in Portico This version is not peer-reviewed
A Review of Hybrid Automata Models
Version 1
: Received: 5 March 2021 / Approved: 5 March 2021 / Online: 5 March 2021 (21:45:11 CET)
How to cite: Besharati, M.R.; Izadi, M. A Review of Hybrid Automata Models. Preprints 2021, 2021030204. https://doi.org/10.20944/preprints202103.0204.v1 Besharati, M.R.; Izadi, M. A Review of Hybrid Automata Models. Preprints 2021, 2021030204. https://doi.org/10.20944/preprints202103.0204.v1
Abstract
In this paper, Hybrid Automata, which is a formal model for hybrid systems, has been introduced. A summary of its theory is presented and some of its special and important classes are listed and some properties that can be studied and checked for it are mentioned. Finally, the purposes of use, the most widely used areas, and the tools that provide H.A. Support are addressed.
Keywords
Hybrid Automata; Formal Modeling; Discrete State; Continuous State; Formal Methods
Subject
Computer Science and Mathematics, Discrete Mathematics and Combinatorics
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment
