Please use this identifier to cite or link to this item:
http://hdl.handle.net/10077/3888
Title: | Hybrid Automata and Bisimulations | Authors: | Casagrande, Alberto | Keywords: | Hybrid Systems; Bisimulation; Model Checking | Issue Date: | 2010 | Publisher: | EUT Edizioni Università di Trieste | Source: | Alberto Casagrande, "Hybrid Automata and Bisimulations", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 147-163. | Series/Report no.: | Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010) | Abstract: | This paper surveys hybrid automata and bisimulation relations. We formally introduce both notions and briefly present the model checking problem over hybrid automata. We show how, in some cases, bisimulations can be used to quotient infinite state systems to finite ones and, hence, we reduce the model checking over hybrid automata to model checking over finite models. Finally, we review some classes of hybrid automata which admit finite bisimulation quotients. |
Type: | Book Chapter | URI: | http://hdl.handle.net/10077/3888 | ISSN: | 0049-4704 |
Appears in Collections: | Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Casagrande RendMat42.pdf | 266.24 kB | Adobe PDF | ![]() View/Open |
CORE Recommender
Page view(s) 20
1,125
checked on Jan 26, 2023
Download(s) 20
1,160
checked on Jan 26, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.