On Simulations and Bisimulations of General Flow Systems

Autor:	Paulo Tabuada, J. M. Davoren
Rok vydání:	2007
Předmět:	Algebra CTL Flow system Computation tree logic Linear temporal logic Computer Science::Logic in Computer Science Hybrid system Temporal logic Equivalence (formal languages) Temporal logic of actions Algorithm Mathematics
Zdroj:	Hybrid Systems: Computation and Control ISBN: 9783540714927 HSCC
DOI:	10.1007/978-3-540-71493-4_14
Popis:	We introduce a notion of bisimulation equivalence between general flow systems, which include discrete, continuous and hybrid systems, and compare it with similar notions in the literature. The interest in the proposed notion is based on our main result, that the temporal logic GFL* - an extension to general flows of the well-known computation tree logic CTL* - is semantically preserved by this equivalence.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9289a91ceb3f8a669e965c2a99e38938 https://doi.org/10.1007/978-3-540-71493-4_14 Zobrazit plný text záznamu