Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André Verification of hybrid systems. (English) Zbl 1392.68246 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1047-1110 (2018). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{L. Doyen} et al., in: Handbook of model checking. Cham: Springer. 1047--1110 (2018; Zbl 1392.68246) Full Text: DOI
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James Model checking real-time systems. (English) Zbl 1392.68235 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1001-1046 (2018). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{P. Bouyer} et al., in: Handbook of model checking. Cham: Springer. 1001--1046 (2018; Zbl 1392.68235) Full Text: DOI
Henzinger, Thomas A.; Otop, Jan Model measuring for discrete and hybrid systems. (English) Zbl 1401.68198 Nonlinear Anal., Hybrid Syst. 23, 166-190 (2017). MSC: 68Q60 68Q45 93C30 PDF BibTeX XML Cite \textit{T. A. Henzinger} and \textit{J. Otop}, Nonlinear Anal., Hybrid Syst. 23, 166--190 (2017; Zbl 1401.68198) Full Text: DOI
Akshay, S.; Genest, B.; Hélouët, L. Decidable classes of unbounded Petri nets with time and urgency. (English) Zbl 1346.68125 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 301-322 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Akshay} et al., Lect. Notes Comput. Sci. 9698, 301--322 (2016; Zbl 1346.68125) Full Text: DOI
Asarin, Eugene; Basset, Nicolas; Degorre, Aldric Entropy of regular timed languages. (English) Zbl 1309.68114 Inf. Comput. 241, 142-176 (2015). MSC: 68Q45 94A17 PDF BibTeX XML Cite \textit{E. Asarin} et al., Inf. Comput. 241, 142--176 (2015; Zbl 1309.68114) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan Robust reachability in timed automata and games: a game-based approach. (English) Zbl 1302.68153 Theor. Comput. Sci. 563, 43-74 (2015). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Theor. Comput. Sci. 563, 43--74 (2015; Zbl 1302.68153) Full Text: DOI
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas Shrinking timed automata. (English) Zbl 1285.68090 Inf. Comput. 234, 107-132 (2014). MSC: 68Q45 68Q60 68N30 PDF BibTeX XML Cite \textit{O. Sankur} et al., Inf. Comput. 234, 107--132 (2014; Zbl 1285.68090) Full Text: DOI
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej Robust synthesis for real-time systems. (English) Zbl 1311.68088 Theor. Comput. Sci. 515, 96-122 (2014). MSC: 68Q60 68Q45 91A80 PDF BibTeX XML Cite \textit{K. G. Larsen} et al., Theor. Comput. Sci. 515, 96--122 (2014; Zbl 1311.68088) Full Text: DOI
Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej Robust specification of real time components. (English) Zbl 1348.68143 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 129-144 (2011). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{K. G. Larsen} et al., Lect. Notes Comput. Sci. 6919, 129--144 (2011; Zbl 1348.68143) Full Text: DOI
Basset, Nicolas; Asarin, Eugene Thin and thick timed regular languages. (English) Zbl 1348.68091 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 113-128 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Basset} and \textit{E. Asarin}, Lect. Notes Comput. Sci. 6919, 113--128 (2011; Zbl 1348.68091) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan Robust model-checking of timed automata via pumping in channel machines. (English) Zbl 1348.68122 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 97-112 (2011). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 6919, 97--112 (2011; Zbl 1348.68122) Full Text: DOI
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus Timed automata can always be made implementable. (English) Zbl 1343.68134 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 76-91 (2011). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 6901, 76--91 (2011; Zbl 1343.68134) Full Text: DOI