OpenstarTs >
EUT-Periodici >
Rendiconti dell’Istituto di matematica dell’Università di Trieste: an International Journal of Mathematics >
Rendiconti dell‘ Istituto di matematica dell‘ Università di Trieste: an International Journal of Mathematics vol.42 (2010) >

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
Citation: 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.
URI: http://hdl.handle.net/10077/3888
ISSN: 0049-4704
MS Classification 2000: 03B45
68Q05
34A38
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 SizeFormat
Casagrande RendMat42.pdf266.24 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.