He, Wen-Jing; Zhu, Shan-Liang; Li, Na; Han, Yu-Qun Tracking control for switched nonlinear systems subject to output hysteresis via adaptive multi-dimensional Taylor network approach. (English) Zbl 1520.93255 Int. J. Control 96, No. 7, 1724-1735 (2023). MSC: 93C40 93C30 93C10 93B70 93C35 PDFBibTeX XMLCite \textit{W.-J. He} et al., Int. J. Control 96, No. 7, 1724--1735 (2023; Zbl 1520.93255) Full Text: DOI
Larsen, Kim G.; Schilling, Christian; Srba, Jiří Simulation relations and applications in formal methods. (English) Zbl 1528.68188 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 272-291 (2022). MSC: 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Lect. Notes Comput. Sci. 13660, 272--291 (2022; Zbl 1528.68188) Full Text: DOI
Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea Symbolic analysis of linear hybrid automata – 25 years later. (English) Zbl 1528.68182 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 39-60 (2022). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Frehse} et al., Lect. Notes Comput. Sci. 13660, 39--60 (2022; Zbl 1528.68182) Full Text: DOI
Junges, Sebastian; Torfah, Hazem; Seshia, Sanjit A. Runtime monitors for Markov decision processes. (English) Zbl 1493.68214 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 553-576 (2021). MSC: 68Q60 68Q87 90C40 PDFBibTeX XMLCite \textit{S. Junges} et al., Lect. Notes Comput. Sci. 12760, 553--576 (2021; Zbl 1493.68214) Full Text: DOI arXiv
Li, Dongxu; Bak, Stanley; Bogomolov, Sergiy Reachability analysis of nonlinear systems using hybridization and dynamics scaling. (English) Zbl 07317102 Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 265-282 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Li} et al., Lect. Notes Comput. Sci. 12288, 265--282 (2020; Zbl 07317102) Full Text: DOI
Sproston, Jeremy Verification and control for probabilistic hybrid automata with finite bisimulations. (English) Zbl 1417.68105 J. Log. Algebr. Methods Program. 103, 46-61 (2019). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{J. Sproston}, J. Log. Algebr. Methods Program. 103, 46--61 (2019; Zbl 1417.68105) Full Text: DOI Link
Moggi, Eugenio; Farjudian, Amin; Duracz, Adam; Taha, Walid Safe & robust reachability analysis of hybrid systems. (English) Zbl 1400.68140 Theor. Comput. Sci. 747, 75-99 (2018). MSC: 68Q85 06B35 18B20 93B25 PDFBibTeX XMLCite \textit{E. Moggi} et al., Theor. Comput. Sci. 747, 75--99 (2018; Zbl 1400.68140) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{L. Doyen} et al., in: Handbook of model checking. Cham: Springer. 1047--1110 (2018; Zbl 1392.68246) Full Text: DOI
Zhang, Hui; Wu, Jinzhao Formal verification and quantitative metrics of MPSoC data dynamics. (English) Zbl 1382.68145 Formal Asp. Comput. 30, No. 2, 219-237 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{H. Zhang} and \textit{J. Wu}, Formal Asp. Comput. 30, No. 2, 219--237 (2018; Zbl 1382.68145) Full Text: DOI
Benerecetti, Massimo; Faella, Marco Tracking smooth trajectories in linear hybrid systems. (English) Zbl 1381.93019 Inf. Comput. 257, 114-138 (2017). MSC: 93B03 93C05 68W30 68Q45 PDFBibTeX XMLCite \textit{M. Benerecetti} and \textit{M. Faella}, Inf. Comput. 257, 114--138 (2017; Zbl 1381.93019) Full Text: DOI
Sproston, Jeremy Verification and control of probabilistic rectangular hybrid automata. (English) Zbl 1465.68183 Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 1-9 (2015). MSC: 68Q60 68Q45 93C30 PDFBibTeX XMLCite \textit{J. Sproston}, Lect. Notes Comput. Sci. 9268, 1--9 (2015; Zbl 1465.68183) Full Text: DOI Link
He, Anping; Wu, Jinzhao; Yang, Shihan; Tan, Hongyan Approximate equivalence of the hybrid automata with Taylor theory. (English) Zbl 1442.68093 J. Appl. Math. 2014, Article ID 850789, 5 p. (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. He} et al., J. Appl. Math. 2014, Article ID 850789, 5 p. (2014; Zbl 1442.68093) Full Text: DOI
Liberzon, Daniel Finite data-rate feedback stabilization of switched and hybrid linear systems. (English) Zbl 1364.93648 Automatica 50, No. 2, 409-420 (2014). MSC: 93D15 93D20 93C30 93C05 PDFBibTeX XMLCite \textit{D. Liberzon}, Automatica 50, No. 2, 409--420 (2014; Zbl 1364.93648) Full Text: DOI
Yan, Chao; Greenstreet, Mark R.; Yang, Suwen Verifying global start-up for a Möbius ring-oscillator. (English) Zbl 1309.94195 Form. Methods Syst. Des. 45, No. 2, 246-272 (2014). Reviewer: Eleonor Ciurea (Braşov) MSC: 94C05 68Q60 03B70 PDFBibTeX XMLCite \textit{C. Yan} et al., Form. Methods Syst. Des. 45, No. 2, 246--272 (2014; Zbl 1309.94195) Full Text: DOI
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano Quantifier-free encoding of invariants for hybrid systems. (English) Zbl 1317.68111 Form. Methods Syst. Des. 45, No. 2, 165-188 (2014). MSC: 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 45, No. 2, 165--188 (2014; Zbl 1317.68111) Full Text: DOI
Xie, Dingbao; Bu, Lei; Zhao, Jianhua; Li, Xuandong SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. (English) Zbl 1317.68126 Form. Methods Syst. Des. 45, No. 1, 42-62 (2014). MSC: 68Q60 68Q45 90C05 PDFBibTeX XMLCite \textit{D. Xie} et al., Form. Methods Syst. Des. 45, No. 1, 42--62 (2014; Zbl 1317.68126) Full Text: DOI
Ratschan, Stefan Safety verification of non-linear hybrid systems is quasi-decidable. (English) Zbl 1291.68266 Form. Methods Syst. Des. 44, No. 1, 71-90 (2014). MSC: 68Q60 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Ratschan}, Form. Methods Syst. Des. 44, No. 1, 71--90 (2014; Zbl 1291.68266) Full Text: DOI
He, Anping; Wu, Jinzhao; Yang, Shihan; Zhou, Yongquan; Wang, Juan Automata-based analysis of stage suspended boom systems. (English) Zbl 1267.68134 J. Appl. Math. 2013, Article ID 739253, 7 p. (2013). MSC: 68Q45 68Q60 93C85 PDFBibTeX XMLCite \textit{A. He} et al., J. Appl. Math. 2013, Article ID 739253, 7 p. (2013; Zbl 1267.68134) Full Text: DOI
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica PTIME parametric verification of safety properties for reasonable linear hybrid automata. (English) Zbl 1262.68113 Math. Comput. Sci. 5, No. 4, 469-497 (2011). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{W. Damm} et al., Math. Comput. Sci. 5, No. 4, 469--497 (2011; Zbl 1262.68113) Full Text: DOI Link
Dang, Thao; Le Guernic, Colas; Maler, Oded Computing reachable states for nonlinear biological models. (English) Zbl 1211.92023 Theor. Comput. Sci. 412, No. 21, 2095-2107 (2011). MSC: 92C42 68U99 93C95 PDFBibTeX XMLCite \textit{T. Dang} et al., Theor. Comput. Sci. 412, No. 21, 2095--2107 (2011; Zbl 1211.92023) Full Text: DOI
Azuma, Shun-Ichi; Imura, Jun-Ichi; Sugie, Toshiharu Lebesgue piecewise affine approximation of nonlinear systems. (English) Zbl 1179.93051 Nonlinear Anal., Hybrid Syst. 4, No. 1, 92-102 (2010). MSC: 93B11 93C10 93C15 93B40 PDFBibTeX XMLCite \textit{S.-I. Azuma} et al., Nonlinear Anal., Hybrid Syst. 4, No. 1, 92--102 (2010; Zbl 1179.93051) Full Text: DOI Link
Maler, Oded; Batt, Grégory Approximating continuous systems by timed automata. (English) Zbl 1374.68262 Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 77-89 (2008). MSC: 68Q45 37B10 PDFBibTeX XMLCite \textit{O. Maler} and \textit{G. Batt}, Lect. Notes Comput. Sci. 5054, 77--89 (2008; Zbl 1374.68262) Full Text: DOI
Bouissou, Olivier; Martel, Matthieu A hybrid denotational semantics for hybrid systems. (English) Zbl 1133.68369 Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 63-77 (2008). MSC: 68Q55 68Q60 93C30 PDFBibTeX XMLCite \textit{O. Bouissou} and \textit{M. Martel}, Lect. Notes Comput. Sci. 4960, 63--77 (2008; Zbl 1133.68369) Full Text: DOI
Tiwari, Ashish Abstractions for hybrid systems. (English) Zbl 1133.68368 Form. Methods Syst. Des. 32, No. 1, 57-83 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Tiwari}, Form. Methods Syst. Des. 32, No. 1, 57--83 (2008; Zbl 1133.68368) Full Text: DOI
van Beek, D. A.; Rooda, J. E.; Schiffelers, R. R. H.; Man, K. L.; Reniers, M. A. Relating hybrid chi to other formalisms. (English) Zbl 1277.68149 Romijn, Judi (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 191, 85-113 (2007). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{D. A. van Beek} et al., Electron. Notes Theor. Comput. Sci. 191, 85--113 (2007; Zbl 1277.68149) Full Text: DOI
Li, Xuandong; Aanand, Sumit Jha; Bu, Lei Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. (English) Zbl 1277.68139 Strichman, Ofer (ed.) et al., Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 3, 57-70 (2007). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{X. Li} et al., Electron. Notes Theor. Comput. Sci. 174, No. 3, 57--70 (2007; Zbl 1277.68139) Full Text: DOI
Lanotte, Ruggero; Tini, Simone Taylor approximation for hybrid systems. (English) Zbl 1130.68071 Inf. Comput. 205, No. 11, 1575-1607 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Lanotte} and \textit{S. Tini}, Inf. Comput. 205, No. 11, 1575--1607 (2007; Zbl 1130.68071) Full Text: DOI
Joshi, Hem Raj; Lenhart, Suzanne; Lou, Hongwei; Gaff, Holly Harvesting control in an integrodifference population model with concave growth term. (English) Zbl 1117.49006 Nonlinear Anal., Hybrid Syst. 1, No. 3, 417-429 (2007). MSC: 49J22 93C30 49K22 PDFBibTeX XMLCite \textit{H. R. Joshi} et al., Nonlinear Anal., Hybrid Syst. 1, No. 3, 417--429 (2007; Zbl 1117.49006) Full Text: DOI
Edalat, Abbas; Pattinson, Dirk Denotational semantics of hybrid automata. (English) Zbl 1123.68056 J. Log. Algebr. Program. 73, No. 1-2, 3-21 (2007). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. Edalat} and \textit{D. Pattinson}, J. Log. Algebr. Program. 73, No. 1--2, 3--21 (2007; Zbl 1123.68056) Full Text: DOI
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. (English) Zbl 1109.68064 Int. J. Found. Comput. Sci. 18, No. 1, 63-86 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{W. Damm} et al., Int. J. Found. Comput. Sci. 18, No. 1, 63--86 (2007; Zbl 1109.68064) Full Text: DOI
Fehnker, Ansgar; Krogh, Bruce Hybrid system verification is not a sinecure – the electronic throttle control case study. (English) Zbl 1096.68670 Int. J. Found. Comput. Sci. 17, No. 4, 885-901 (2006). MSC: 68Q60 93C95 PDFBibTeX XMLCite \textit{A. Fehnker} and \textit{B. Krogh}, Int. J. Found. Comput. Sci. 17, No. 4, 885--901 (2006; Zbl 1096.68670) Full Text: DOI
Lefebvre, Marie-Anne; Guéguen, Hervé Hybrid abstractions of affine systems. (English) Zbl 1121.93042 Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 65, No. 6, 1150-1167 (2006). MSC: 93C65 68Q60 93A30 93C35 PDFBibTeX XMLCite \textit{M.-A. Lefebvre} and \textit{H. Guéguen}, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 65, No. 6, 1150--1167 (2006; Zbl 1121.93042) Full Text: DOI
van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H. Syntax and consistent equation semantics of hybrid Chi. (English) Zbl 1088.68111 J. Log. Algebr. Program. 68, No. 1-2, 129-210 (2006). MSC: 68Q60 68Q55 68Q45 PDFBibTeX XMLCite \textit{D. A. van Beek} et al., J. Log. Algebr. Program. 68, No. 1--2, 129--210 (2006; Zbl 1088.68111) Full Text: DOI
Lanotte, Ruggero; Maggiolo-Schettini, Andrea Monotonic hybrid systems. (English) Zbl 1081.68048 J. Comput. Syst. Sci. 71, No. 1, 34-69 (2005). MSC: 68Q45 68Q60 93A10 PDFBibTeX XMLCite \textit{R. Lanotte} and \textit{A. Maggiolo-Schettini}, J. Comput. Syst. Sci. 71, No. 1, 34--69 (2005; Zbl 1081.68048) Full Text: DOI
Li, Xuandong; Zhao, Jianhua; Pei, Yu; Li, Yong; Zheng, Tao; Zheng, Guoliang Positive loop-closed automata: A decidable class of hybrid systems. (English) Zbl 1008.68070 J. Log. Algebr. Program. 52-53, 79-108 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{X. Li} et al., J. Log. Algebr. Program. 52--53, 79--108 (2002; Zbl 1008.68070) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W. Discrete-time control for rectangular hybrid automata. (English) Zbl 0930.68086 Theor. Comput. Sci. 221, No. 1-2, 369-392 (1999). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{P. W. Kopke}, Theor. Comput. Sci. 221, No. 1--2, 369--392 (1999; Zbl 0930.68086) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin What’s decidable about hybrid automata? (English) Zbl 0920.68091 J. Comput. Syst. Sci. 57, No. 1, 94-124 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., J. Comput. Syst. Sci. 57, No. 1, 94--124 (1998; Zbl 0920.68091) Full Text: DOI Link