Preprint 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 (doi: 10.20944/preprints202103.0204.v1). Besharati, M.R.; Izadi, M. A Review of Hybrid Automata Models. Preprints 2021, 2021030204 (doi: 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

MATHEMATICS & COMPUTER SCIENCE, Algebra & Number Theory

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.