Krichen, Moez Testing real-time systems using determinization techniques for automata over timed domains. (English) Zbl 07142673 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Krichen}, Lect. Notes Comput. Sci. 11884, 124--133 (2019; Zbl 07142673) Full Text: DOI
Waga, Masaki; Hasuo, Ichiro Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Waga} and \textit{I. Hasuo}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 272--273 (2019; Zbl 07120169) Full Text: DOI
Bezděk, Peter; Beneš, Nikola; Černá, Ivana; Barnat, Jiří On clock-aware LTL parameter synthesis of timed automata. (English) Zbl 1395.68164 J. Log. Algebr. Methods Program. 99, 114-142 (2018). MSC: 68Q45 03B44 68Q60 PDF BibTeX XML Cite \textit{P. Bezděk} et al., J. Log. Algebr. Methods Program. 99, 114--142 (2018; Zbl 1395.68164) Full Text: DOI
Sharma, Arpit Trace relations and logical preservation for continuous-time Markov decision processes. (English) Zbl 1444.68122 Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 192-209 (2017). MSC: 68Q85 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{A. Sharma}, Lect. Notes Comput. Sci. 10580, 192--209 (2017; Zbl 1444.68122) Full Text: DOI
Li, Jing; Shen, Ningmin; Bai, Haiyang; Zhou, Peiyun Schedulability verification of embedded system AADL model based on timed automata. (Chinese. English summary) Zbl 1349.68117 J. Southeast Univ., Nat. Sci. 45, No. 6, 1032-1037 (2015). MSC: 68Q60 68M20 68Q45 PDF BibTeX XML Cite \textit{J. Li} et al., J. Southeast Univ., Nat. Sci. 45, No. 6, 1032--1037 (2015; Zbl 1349.68117) Full Text: DOI
Villagra, Marcos; Yamakami, Tomoyuki Quantum state complexity of formal languages. (English) Zbl 1432.68249 Shallit, Jeffrey (ed.) et al., Descriptional complexity of formal systems. 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9118, 280-291 (2015). MSC: 68Q45 68Q04 68Q12 PDF BibTeX XML Cite \textit{M. Villagra} and \textit{T. Yamakami}, Lect. Notes Comput. Sci. 9118, 280--291 (2015; Zbl 1432.68249) Full Text: DOI
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. Control and synthesis of non-interferent timed systems. (English) Zbl 1328.93109 Int. J. Control 88, No. 2, 217-236 (2015). MSC: 93B50 93C83 68M07 PDF BibTeX XML Cite \textit{G. Benattar} et al., Int. J. Control 88, No. 2, 217--236 (2015; Zbl 1328.93109) Full Text: DOI
Wang, Farn Efficient model-checking of dense-time systems with time-convexity analysis. (English) Zbl 1279.68222 Theor. Comput. Sci. 467, 89-108 (2013). MSC: 68Q60 68Q45 03B70 PDF BibTeX XML Cite \textit{F. Wang}, Theor. Comput. Sci. 467, 89--108 (2013; Zbl 1279.68222) Full Text: DOI
Sharma, Arpit; Katoen, Joost-Pieter Weighted lumpability on Markov chains. (English) Zbl 1336.68186 Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 322-339 (2012). MSC: 68Q85 60J28 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{A. Sharma} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 7162, 322--339 (2012; Zbl 1336.68186) Full Text: DOI
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G. Reachability analysis for timed automata using max-plus algebra. (English) Zbl 1279.68214 J. Log. Algebr. Program. 81, No. 3, 298-313 (2012). MSC: 68Q60 68Q45 15A80 68P05 PDF BibTeX XML Cite \textit{Q. Lu} et al., J. Log. Algebr. Program. 81, No. 3, 298--313 (2012; Zbl 1279.68214) Full Text: DOI
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. Synthesis of non-interferent timed systems. (English) Zbl 1262.68084 Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 28-42 (2009). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Benattar} et al., Lect. Notes Comput. Sci. 5813, 28--42 (2009; Zbl 1262.68084) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robust safety of timed automata. (English) Zbl 1165.68392 Form. Methods Syst. Des. 33, No. 1-3, 45-84 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Form. Methods Syst. Des. 33, No. 1--3, 45--84 (2008; Zbl 1165.68392) Full Text: DOI
Wang, Farn Time-progress evaluation for dense-time automata with concave path conditions. (English) Zbl 1183.68384 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 258-273 (2008). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{F. Wang}, Lect. Notes Comput. Sci. 5311, 258--273 (2008; Zbl 1183.68384) Full Text: DOI
Lunze, Jan Fault diagnosis of discretely controlled continuous systems by means of discrete-event models. (English) Zbl 1395.90133 Discrete Event Dyn. Syst. 18, No. 2, 181-210 (2008). MSC: 90B25 90C40 93C65 PDF BibTeX XML Cite \textit{J. Lunze}, Discrete Event Dyn. Syst. 18, No. 2, 181--210 (2008; Zbl 1395.90133) Full Text: DOI
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François On the optimal reachability problem of weighted timed automata. (English) Zbl 1129.68039 Form. Methods Syst. Des. 31, No. 2, 135-175 (2007). MSC: 68Q45 PDF BibTeX XML Cite \textit{P. Bouyer} et al., Form. Methods Syst. Des. 31, No. 2, 135--175 (2007; Zbl 1129.68039) Full Text: DOI
Zhao, Jianhua; Li, Xuandong; Zheng, Tao; Zheng, Guoliang Remove irrelevant atomic formulas for timed automaton model checking. (English) Zbl 1190.68038 J. Comput. Sci. Technol. 21, No. 1, 41-51 (2006). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{J. Zhao} et al., J. Comput. Sci. Technol. 21, No. 1, 41--51 (2006; Zbl 1190.68038) Full Text: DOI
Markey, Nicolas; Raskin, Jean-François Model checking restricted sets of timed paths. (English) Zbl 1097.68076 Theor. Comput. Sci. 358, No. 2-3, 273-292 (2006). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{N. Markey} and \textit{J.-F. Raskin}, Theor. Comput. Sci. 358, No. 2--3, 273--292 (2006; Zbl 1097.68076) Full Text: DOI
Zhao, Jianhua; Li, Xuandong; Zheng, Guoliang A quadratic-time DBM-based successor algorithm for checking timed automata. (English) Zbl 1184.68335 Inf. Process. Lett. 96, No. 3, 101-105 (2005). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Zhao} et al., Inf. Process. Lett. 96, No. 3, 101--105 (2005; Zbl 1184.68335) Full Text: DOI
Markey, Nicolas; Raskin, Jean-François Model checking restricted sets of timed paths. (English) Zbl 1097.68578 Gardner, Philippa (ed.) et al., CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22940-X/pbk). Lecture Notes in Computer Science 3170, 432-447 (2004). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{N. Markey} and \textit{J.-F. Raskin}, Lect. Notes Comput. Sci. 3170, 432--447 (2004; Zbl 1097.68578) Full Text: DOI
Adélaïde, Michaël; Pagetti, Claire On the urgency expressiveness. (English) Zbl 1117.68390 Lodaya, Kamal (ed.) et al., FSTTCS 2004: Foundations of software technology and theoretical computer science. 24th international conference, Chennai, India, December 16–18, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24058-6/pbk). Lecture Notes in Computer Science 3328, 71-83 (2004). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Adélaïde} and \textit{C. Pagetti}, Lect. Notes Comput. Sci. 3328, 71--83 (2004; Zbl 1117.68390) Full Text: DOI
Mateus, P.; Morais, M.; Nunes, C.; Pacheco, A.; Sernadas, A.; Sernadas, C. Categorical foundations for randomly timed automata. (English) Zbl 1070.68076 Theor. Comput. Sci. 308, No. 1-3, 393-427 (2003). MSC: 68Q45 18B20 PDF BibTeX XML Cite \textit{P. Mateus} et al., Theor. Comput. Sci. 308, No. 1--3, 393--427 (2003; Zbl 1070.68076) Full Text: DOI
Spathopoulos, Michael P. On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically. (English) Zbl 1044.93041 Int. J. Control 76, No. 17, 1739-1748 (2003). Reviewer: Alex V. Kolnogorov (Novgorod) MSC: 93C65 93A13 93B11 68Q45 PDF BibTeX XML Cite \textit{M. P. Spathopoulos}, Int. J. Control 76, No. 17, 1739--1748 (2003; Zbl 1044.93041) Full Text: DOI
Ibarra, Oscar H.; Dang, Zhe Eliminating the storage tape in reachability constructions. (English) Zbl 1042.68065 Theor. Comput. Sci. 299, No. 1-3, 687-706 (2003). MSC: 68Q45 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{Z. Dang}, Theor. Comput. Sci. 299, No. 1--3, 687--706 (2003; Zbl 1042.68065) Full Text: DOI
Mairesse, Jean; Vuillon, Laurent Asymptotic behavior in a heap model with two pieces. (English) Zbl 0988.68018 Theor. Comput. Sci. 270, No. 1-2, 525-560 (2002). MSC: 68M20 68Q85 PDF BibTeX XML Cite \textit{J. Mairesse} and \textit{L. Vuillon}, Theor. Comput. Sci. 270, No. 1--2, 525--560 (2002; Zbl 0988.68018) Full Text: DOI
Zhao, Jianhua; Dang Van Hung Checking timed automata for linear duration properties. (English) Zbl 0961.68079 J. Comput. Sci. Technol. 15, No. 5, 423-429 (2000). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Zhao} and \textit{Dang Van Hung}, J. Comput. Sci. Technol. 15, No. 5, 423--429 (2000; Zbl 0961.68079) Full Text: DOI
Henzinger, Thomas A.; Raskin, Jean-François Robust undecidability of timed and hybrid systems. (English) Zbl 0944.93018 Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 145-159 (2000). Reviewer: D.Franke (Hamburg) MSC: 93C30 93C65 68Q45 93C73 PDF BibTeX XML Cite \textit{T. A. Henzinger} and \textit{J.-F. Raskin}, Lect. Notes Comput. Sci. 1790, 145--159 (2000; Zbl 0944.93018)
Asarin, Eugene; Maler, Oded As soon as possible: Time optimal control for timed automata. (English) Zbl 0952.93064 Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29-31, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1569, 19-30 (1999). Reviewer: S.G.Tzafestas (Athens) MSC: 93C30 49N05 PDF BibTeX XML Cite \textit{E. Asarin} and \textit{O. Maler}, Lect. Notes Comput. Sci. 1569, 19--30 (1999; Zbl 0952.93064)
Di Gennaro, S.; Horn, C.; Kulkarni, S. R.; Ramadge, P. J. Reduction of timed hybrid systems. (English) Zbl 0916.93035 Discrete Event Dyn. Syst. 8, No. 4, 343-351 (1998). Reviewer: B.F.Šmarda (Brno) MSC: 93C30 93B11 PDF BibTeX XML Cite \textit{S. Di Gennaro} et al., Discrete Event Dyn. Syst. 8, No. 4, 343--351 (1998; Zbl 0916.93035) Full Text: DOI
Lynch, Nancy; Vaandrager, Frits Action transducers and timed automata. (English) Zbl 0860.68072 Formal Asp. Comput. 8, No. 5, 499-538 (1996). MSC: 68Q45 PDF BibTeX XML Cite \textit{N. Lynch} and \textit{F. Vaandrager}, Formal Asp. Comput. 8, No. 5, 499--538 (1996; Zbl 0860.68072) Full Text: DOI
Park, Yongseok; Chong, Edwin K. P. Distributed inversion in timed discrete event systems. (English) Zbl 0832.93001 Discrete Event Dyn. Syst. 5, No. 2-3, 219-241 (1995). MSC: 93A99 93B07 68Q45 PDF BibTeX XML Cite \textit{Y. Park} and \textit{E. K. P. Chong}, Discrete Event Dyn. Syst. 5, No. 2--3, 219--241 (1995; Zbl 0832.93001) Full Text: DOI
McManis, Jennifer; Varaiya, Pravin Modeling real-time systems using rate automata. (English) Zbl 0828.93002 Kumar, P. R. (ed.) et al., Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA. New York, NY: Springer-Verlag. IMA Vol. Math. Appl. 73, 177-199 (1995). MSC: 93A10 93C99 93A30 PDF BibTeX XML Cite \textit{J. McManis} and \textit{P. Varaiya}, IMA Vol. Math. Appl. 73, 177--199 (1995; Zbl 0828.93002)
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. The algorithmic analysis of hybrid systems. (English) Zbl 0823.68067 Cohen, Guy (ed.) et al., 11th International conference on analysis and optimization of systems: discrete event systems. Sophia-Antipolis, France, June 15-17, 1994. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 199, 331-351 (1994). MSC: 68Q45 PDF BibTeX XML Cite \textit{R. Alur} et al., Lect. Notes Control Inf. Sci. 199, 331--351 (1994; Zbl 0823.68067)