@inproceedings{eea1d4528d4a492cb42a624619e7c698,
title = "Model-checking for hybrid systems by quotienting and constraints solving",
abstract = "In this paper we present a semi-algorithm to do compositional model-checking for hybrid systems. We first define a modal logic Lhν which is expressively complete for linear hybrid automata. We then show that it is possible to extend the result on compositional model- checking for parallel compositions of finite automata and networks of timed automata to linear hybrid automata. Finally we present some results obtained with an extension of the tool CMC to handle a subclass of hybrid automata (the stopwatch automata).",
author = "Franck Cassez and Fran{\c c}ois Laroussinie",
year = "2000",
language = "English",
isbn = "3540677704",
volume = "1855",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "373--388",
booktitle = "Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings",
address = "United States",
note = "12th International Conference on Computer Aided Verification, CAV 2000 ; Conference date: 15-07-2000 Through 19-07-2000",
}