Lucia, Walter; Franzè, Giuseppe; Famularo, Domenico A receding horizon event-driven control strategy for intelligent traffic management. (English) Zbl 1478.93410 Discrete Event Dyn. Syst. 31, No. 3, 469-488 (2021). MSC: 93C65 90B20 93B45 93C30 PDFBibTeX XMLCite \textit{W. Lucia} et al., Discrete Event Dyn. Syst. 31, No. 3, 469--488 (2021; Zbl 1478.93410) Full Text: DOI
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain Optimal and robust controller synthesis using energy timed automata with uncertainty. (English) Zbl 1458.93072 Formal Asp. Comput. 33, No. 1, 3-25 (2021). MSC: 93B50 68Q45 68W30 93C65 PDFBibTeX XMLCite \textit{G. Bacci} et al., Formal Asp. Comput. 33, No. 1, 3--25 (2021; Zbl 1458.93072) Full Text: DOI arXiv
Yang, Jung-Min; Moor, Thomas; Raisch, Jörg Refinements of behavioural abstractions for the supervisory control of hybrid systems. (English) Zbl 1454.93121 Discrete Event Dyn. Syst. 30, No. 3, 533-560 (2020). Reviewer: Mikhail I. Krastanov (Sofia) MSC: 93C30 93C65 93B50 PDFBibTeX XMLCite \textit{J.-M. Yang} et al., Discrete Event Dyn. Syst. 30, No. 3, 533--560 (2020; Zbl 1454.93121) Full Text: DOI
Júlvez, Jorge; Oliver, Stephen G. Modeling, analyzing and controlling hybrid systems by guarded flexible nets. (English) Zbl 1425.93146 Nonlinear Anal., Hybrid Syst. 32, 131-146 (2019). MSC: 93C30 93A30 93B40 93B03 68Q85 PDFBibTeX XMLCite \textit{J. Júlvez} and \textit{S. G. Oliver}, Nonlinear Anal., Hybrid Syst. 32, 131--146 (2019; Zbl 1425.93146) Full Text: DOI Link
Jovanović, Aleksandra; Lime, Didier; Roux, Olivier H. A game approach to the parametric control of real-time systems. (English) Zbl 1421.93017 Int. J. Control 92, No. 9, 2025-2036 (2019). MSC: 93B03 93B50 91A80 68Q45 PDFBibTeX XMLCite \textit{A. Jovanović} et al., Int. J. Control 92, No. 9, 2025--2036 (2019; Zbl 1421.93017) Full Text: DOI HAL
Lal, Ratan; Prabhakar, Pavithra Bounded verification of reachability of probabilistic hybrid systems. (English) Zbl 1514.68139 McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 240-256 (2018). MSC: 68Q60 90C40 93B03 93C15 93C30 PDFBibTeX XMLCite \textit{R. Lal} and \textit{P. Prabhakar}, Lect. Notes Comput. Sci. 11024, 240--256 (2018; Zbl 1514.68139) Full Text: DOI
Bak, Stanley; Bogomolov, Sergiy; Althoff, Matthias Time-triggered conversion of guards for reachability analysis of hybrid automata. (English) Zbl 1497.93107 Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 133-150 (2017). MSC: 93C30 68Q45 93B03 PDFBibTeX XMLCite \textit{S. Bak} et al., Lect. Notes Comput. Sci. 10419, 133--150 (2017; Zbl 1497.93107) Full Text: DOI Link
Dreossi, Tommaso Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. (English) Zbl 1369.68257 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 29-34 (2017). MSC: 68Q60 93B03 93B50 93C30 PDFBibTeX XMLCite \textit{T. Dreossi}, in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 29--34 (2017; Zbl 1369.68257) Full Text: DOI arXiv
Dreossi, Tommaso; Dang, Thao; Piazza, Carla Reachability computation for polynomial dynamical systems. (English) Zbl 1360.93084 Form. Methods Syst. Des. 50, No. 1, 1-38 (2017). MSC: 93B03 93C55 93C10 PDFBibTeX XMLCite \textit{T. Dreossi} et al., Form. Methods Syst. Des. 50, No. 1, 1--38 (2017; Zbl 1360.93084) Full Text: DOI Link
Baştuğ, Mert; Petreczky, Mihály; Wisniewski, Rafael; Leth, John Reachability and observability reduction for linear switched systems with constrained switching. (English) Zbl 1348.93062 Automatica 74, 162-170 (2016). MSC: 93B11 93C30 93C05 93B50 PDFBibTeX XMLCite \textit{M. Baştuğ} et al., Automatica 74, 162--170 (2016; Zbl 1348.93062) Full Text: DOI
Papadopoulos, Alessandro Vittorio; Prandini, Maria Model reduction of switched affine systems. (English) Zbl 1339.93033 Automatica 70, 57-65 (2016). MSC: 93B11 93C30 93E25 PDFBibTeX XMLCite \textit{A. V. Papadopoulos} and \textit{M. Prandini}, Automatica 70, 57--65 (2016; Zbl 1339.93033) Full Text: DOI Link
Sankaranarayanan, Sriram Change-of-bases abstractions for non-linear hybrid systems. (English) Zbl 1329.93046 Nonlinear Anal., Hybrid Syst. 19, 107-133 (2016). MSC: 93B17 93C10 93C05 34A26 PDFBibTeX XMLCite \textit{S. Sankaranarayanan}, Nonlinear Anal., Hybrid Syst. 19, 107--133 (2016; Zbl 1329.93046) Full Text: DOI arXiv
Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano Formal verification applied to robotic surgery. (English) Zbl 1403.93140 van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 347-355 (2015). MSC: 93C85 93B03 90B25 68Q45 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Lect. Notes Control Inf. Sci. 456, 347--355 (2015; Zbl 1403.93140) Full Text: DOI
Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter An introduction to the verification of hybrid systems using Ariadne. (English) Zbl 1403.93108 van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 339-346 (2015). MSC: 93C30 93B40 93B03 68Q45 PDFBibTeX XMLCite \textit{D. Bresolin} et al., Lect. Notes Control Inf. Sci. 456, 339--346 (2015; Zbl 1403.93108) Full Text: DOI
Julius, A. Agung Trajectory-based theory for hybrid systems. (English) Zbl 1403.93040 Camlibel, M. Kanat (ed.) et al., Mathematical control theory I. Nonlinear and hybrid control systems. Cham: Springer (ISBN 978-3-319-20987-6/pbk; 978-3-319-20988-3/ebook). Lecture Notes in Control and Information Sciences 461, 363-384 (2015). MSC: 93B03 93C30 93B50 93B35 PDFBibTeX XMLCite \textit{A. A. Julius}, Lect. Notes Control Inf. Sci. 461, 363--384 (2015; Zbl 1403.93040) Full Text: DOI
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. (English) Zbl 1284.93121 Int. J. Robust Nonlinear Control 24, No. 4, 699-724 (2014). MSC: 93C30 93B15 93C10 PDFBibTeX XMLCite \textit{L. Benvenuti} et al., Int. J. Robust Nonlinear Control 24, No. 4, 699--724 (2014; Zbl 1284.93121) Full Text: DOI
Althoff, Matthias; Krogh, Bruce H. Avoiding geometric intersection operations in reachability analysis of hybrid systems. (English) Zbl 1362.93012 Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 45-54 (2012). MSC: 93B03 34A38 68Q60 PDFBibTeX XMLCite \textit{M. Althoff} and \textit{B. H. Krogh}, in: Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012. New York, NY: Association for Computing Machinery (ACM). 45--54 (2012; Zbl 1362.93012) Full Text: DOI Link
Althoff, Matthias; Le Guernic, Colas; Krogh, Bruce H. Reachable set computation for uncertain time-varying linear systems. (English) Zbl 1362.93013 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 93-102 (2011). MSC: 93B03 93B40 PDFBibTeX XMLCite \textit{M. Althoff} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 93--102 (2011; Zbl 1362.93013) Full Text: DOI Link
Mitrohin, Corina; Podelski, Andreas Composing stability proofs for hybrid systems. (English) Zbl 1348.68107 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, 286-300 (2011). MSC: 68Q45 93B03 93D99 PDFBibTeX XMLCite \textit{C. Mitrohin} and \textit{A. Podelski}, Lect. Notes Comput. Sci. 6919, 286--300 (2011; Zbl 1348.68107) Full Text: DOI
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James On reachability for hybrid automata over bounded time. (English) Zbl 1300.68033 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 416-427 (2011). MSC: 68Q60 68Q17 68Q45 68Q85 93B03 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Lect. Notes Comput. Sci. 6756, 416--427 (2011; Zbl 1300.68033) Full Text: DOI arXiv
Braman, Julia M. B.; Murray, Richard M. Bisimulation conversion and verification procedure for goal-based control systems. (English) Zbl 1213.93139 Form. Methods Syst. Des. 38, No. 1, 62-95 (2011). MSC: 93C85 93B40 PDFBibTeX XMLCite \textit{J. M. B. Braman} and \textit{R. M. Murray}, Form. Methods Syst. Des. 38, No. 1, 62--95 (2011; Zbl 1213.93139) Full Text: DOI
Biswas, Santosh; Sarkar, Dipankar; Mukhopadhyay, Siddhartha; Patra, Amit Fairness of transitions in diagnosability of discrete event systems. (English) Zbl 1200.93098 Discrete Event Dyn. Syst. 20, No. 3, 349-376 (2010). MSC: 93C65 93B40 PDFBibTeX XMLCite \textit{S. Biswas} et al., Discrete Event Dyn. Syst. 20, No. 3, 349--376 (2010; Zbl 1200.93098) Full Text: DOI
Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas Composing reachability analyses of hybrid systems for safety and stability. (English) Zbl 1305.68110 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 67-81 (2010). MSC: 68Q45 93B03 93C30 PDFBibTeX XMLCite \textit{S. Bogomolov} et al., Lect. Notes Comput. Sci. 6252, 67--81 (2010; Zbl 1305.68110) Full Text: DOI
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain Using redundant constraints for refinement. (English) Zbl 1305.68117 Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 37-51 (2010). MSC: 68Q60 93B03 93C30 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 6252, 37--51 (2010; Zbl 1305.68117) Full Text: DOI
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir Towards component based design of hybrid systems: safety and stability. (English) Zbl 1288.68162 Manna, Zohar (ed.) et al., Time for verification. Essays in memory of Amir Pnueli. Berlin: Springer (ISBN 978-3-642-13753-2/pbk). Lecture Notes in Computer Science 6200, 96-143 (2010). MSC: 68Q60 93B51 93C30 PDFBibTeX XMLCite \textit{W. Damm} et al., Lect. Notes Comput. Sci. 6200, 96--143 (2010; Zbl 1288.68162) Full Text: DOI
Platzer, André; Clarke, Edmund M. Computing differential invariants of hybrid systems as fixed points. (English) Zbl 1180.93024 Form. Methods Syst. Des. 35, No. 1, 98-120 (2009). MSC: 93B11 47N10 PDFBibTeX XMLCite \textit{A. Platzer} and \textit{E. M. Clarke}, Form. Methods Syst. Des. 35, No. 1, 98--120 (2009; Zbl 1180.93024) Full Text: DOI
Di Cairano, S.; Bemporad, A.; Júlvez, J. Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics. (English) Zbl 1162.93022 Automatica 45, No. 5, 1243-1251 (2009). MSC: 93B51 93C65 90C11 PDFBibTeX XMLCite \textit{S. Di Cairano} et al., Automatica 45, No. 5, 1243--1251 (2009; Zbl 1162.93022) Full Text: DOI
Julius, A. Agung; Pappas, George J. Trajectory based verification using local finite-time invariance. (English) Zbl 1237.93020 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 223-236 (2009). MSC: 93B03 34A60 49J40 PDFBibTeX XMLCite \textit{A. A. Julius} and \textit{G. J. Pappas}, Lect. Notes Comput. Sci. 5469, 223--236 (2009; Zbl 1237.93020) Full Text: DOI
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay Parameter synthesis for hybrid systems with an application to Simulink models. (English) Zbl 1237.93089 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 165-179 (2009). MSC: 93C30 93B03 93B35 93C95 PDFBibTeX XMLCite \textit{A. Donzé} et al., Lect. Notes Comput. Sci. 5469, 165--179 (2009; Zbl 1237.93089) Full Text: DOI
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain Automatic synthesis of robust and optimal controllers – an industrial case study. (English) Zbl 1237.93058 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 90-104 (2009). MSC: 93B51 93B50 93C95 PDFBibTeX XMLCite \textit{F. Cassez} et al., Lect. Notes Comput. Sci. 5469, 90--104 (2009; Zbl 1237.93058) Full Text: DOI
Höfner, Peter; Möller, Bernhard An algebra of hybrid systems. (English) Zbl 1161.68032 J. Log. Algebr. Program. 78, No. 2, 74-97 (2009). MSC: 68Q70 93B25 PDFBibTeX XMLCite \textit{P. Höfner} and \textit{B. Möller}, J. Log. Algebr. Program. 78, No. 2, 74--97 (2009; Zbl 1161.68032) Full Text: DOI Link
Allahham, Adib; Alla, Hassane Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation. (English) Zbl 1163.93358 Nonlinear Anal., Hybrid Syst. 2, No. 4, 1175-1186 (2008). MSC: 93C65 93B03 PDFBibTeX XMLCite \textit{A. Allahham} and \textit{H. Alla}, Nonlinear Anal., Hybrid Syst. 2, No. 4, 1175--1186 (2008; Zbl 1163.93358) Full Text: DOI
Bhatia, Amit; Frazzoli, Emilio Sampling-based resolution-complete algorithms for safety falsification of linear systems. (English) Zbl 1144.93309 Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 606-609 (2008). MSC: 93B40 93B03 93C05 93C55 PDFBibTeX XMLCite \textit{A. Bhatia} and \textit{E. Frazzoli}, Lect. Notes Comput. Sci. 4981, 606--609 (2008; Zbl 1144.93309) Full Text: DOI arXiv
Girard, Antoine; Julius, A. Agung; Pappas, George J. Approximate simulation relations for hybrid systems. (English) Zbl 1395.93113 Discrete Event Dyn. Syst. 18, No. 2, 163-179 (2008). MSC: 93B03 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. Girard} et al., Discrete Event Dyn. Syst. 18, No. 2, 163--179 (2008; Zbl 1395.93113) Full Text: DOI
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. (English) Zbl 1134.68026 Theor. Comput. Sci. 390, No. 1, 1-26 (2008). MSC: 68Q45 34A60 68Q60 93B05 93C30 PDFBibTeX XMLCite \textit{E. Asarin} et al., Theor. Comput. Sci. 390, No. 1, 1--26 (2008; Zbl 1134.68026) Full Text: DOI
Jha, Sumit K.; Krogh, Bruce H.; Weimer, James E.; Clarke, Edmund M. Reachability for linear hybrid automata using iterative relaxation abstraction. (English) Zbl 1221.93115 Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 287-300 (2007). MSC: 93C30 68Q45 93B03 PDFBibTeX XMLCite \textit{S. K. Jha} et al., Lect. Notes Comput. Sci. 4416, 287--300 (2007; Zbl 1221.93115) Full Text: DOI
Berman, Spring; Halász, Ádám; Kumar, Vijay MARCO: A reachability algorithm for multi-affine systems with applications to biological systems. (English) Zbl 1221.93027 Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 76-89 (2007). MSC: 93B03 92C42 93A30 PDFBibTeX XMLCite \textit{S. Berman} et al., Lect. Notes Comput. Sci. 4416, 76--89 (2007; Zbl 1221.93027) Full Text: DOI
Batt, Grégory; Belta, Calin; Weiss, Ron Model checking genetic regulatory networks with parameter uncertainty. (English) Zbl 1221.93135 Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 61-75 (2007). MSC: 93C41 68Q60 92D10 93B51 PDFBibTeX XMLCite \textit{G. Batt} et al., Lect. Notes Comput. Sci. 4416, 61--75 (2007; Zbl 1221.93135) Full Text: DOI
Collins, Pieter Optimal semicomputable approximations to reachable and invariant sets. (English) Zbl 1118.93320 Theory Comput. Syst. 41, No. 1, 33-48 (2007). MSC: 93C10 93B03 93C55 68Q05 PDFBibTeX XMLCite \textit{P. Collins}, Theory Comput. Syst. 41, No. 1, 33--48 (2007; Zbl 1118.93320) Full Text: DOI
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio Algorithmic analysis of polygonal hybrid systems. I: Reachability. (English) Zbl 1121.68071 Theor. Comput. Sci. 379, No. 1-2, 231-265 (2007). MSC: 68Q60 34A60 93B03 93C30 PDFBibTeX XMLCite \textit{E. Asarin} et al., Theor. Comput. Sci. 379, No. 1--2, 231--265 (2007; Zbl 1121.68071) Full Text: DOI
Pang, Y.; Spathopoulos, M. P.; Xia, Hao Reachability and optimal control for linear hybrid automata: A quantifier elimination approach. (English) Zbl 1162.93338 Int. J. Control 80, No. 5, 731-748 (2007). MSC: 93B50 93B40 93C95 PDFBibTeX XMLCite \textit{Y. Pang} et al., Int. J. Control 80, No. 5, 731--748 (2007; Zbl 1162.93338) Full Text: DOI
Asarin, Eugene; Dang, Thao; Girard, Antoine Hybridization methods for the analysis of nonlinear systems. (English) Zbl 1134.93026 Acta Inf. 43, No. 7, 451-476 (2007). MSC: 93C10 93B17 PDFBibTeX XMLCite \textit{E. Asarin} et al., Acta Inf. 43, No. 7, 451--476 (2007; Zbl 1134.93026) Full Text: DOI
Girard, Antoine; Le Guernic, Colas; Maler, Oded Efficient computation of reachable sets of linear time-invariant systems with inputs. (English) Zbl 1178.93024 Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 257-271 (2006). MSC: 93B03 93B40 93C05 93C30 PDFBibTeX XMLCite \textit{A. Girard} et al., Lect. Notes Comput. Sci. 3927, 257--271 (2006; Zbl 1178.93024) Full Text: DOI
Frehse, Goran PHAVer: Algorithmic verification of hybrid systems past HyTech. (English) Zbl 1078.93533 Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 258-273 (2005). MSC: 93C30 93B25 68Q60 PDFBibTeX XMLCite \textit{G. Frehse}, Lect. Notes Comput. Sci. 3414, 258--273 (2005; Zbl 1078.93533) Full Text: DOI
Bhatia, Amit; Frazzoli, Emilio Incremental search methods for reachability analysis of continuous and hybrid systems. (English) Zbl 1135.93316 Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 142-156 (2004). MSC: 93B03 93C30 93B40 PDFBibTeX XMLCite \textit{A. Bhatia} and \textit{E. Frazzoli}, Lect. Notes Comput. Sci. 2993, 142--156 (2004; Zbl 1135.93316) Full Text: DOI
Tomlin, Claire J.; Mitchell, Ian M.; Bayen, Alexandre M.; Oishi, Meeko K. M. Computational techniques for the verification and control of hybrid systems. (English) Zbl 1074.93014 Capasso, Vincenzo (ed.) et al., Multidisciplinary methods for analysis optimization and control of complex systems. Lectures of the summer school Jacques Louis Lions, Montecatini, Italy, March 17–22, 2003. Berlin: Springer (ISBN 3-540-22310-X/hbk). Mathematics in Industry 7. The European Consortium for Mathematics in Industry, 151-175 (2004). Reviewer: Mihail Voicu (Iaşi) MSC: 93B40 93B03 90B25 93B12 93A15 93C65 93-04 PDFBibTeX XMLCite \textit{C. J. Tomlin} et al., Math. Ind. 7, 151--175 (2004; Zbl 1074.93014)
Asarin, Eugene; Bansal, Sorav; Espiau, Bernard; Dang, Thao; Maler, Oded On hybrid control of under-actuated mechanical systems. (English) Zbl 0991.93533 Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 77-88 (2002). MSC: 93C85 70Q05 93B03 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 2034, 77--88 (2002; Zbl 0991.93533) Full Text: Link
Bemporad, A.; Torrisi, F. D.; Morari, M. Discrete-time hybrid modeling and verification of the batch evaporator process benchmark. (English) Zbl 1293.93081 Eur. J. Control 7, No. 4, 382-399 (2001). MSC: 93A30 93C55 93B03 90C11 90C05 PDFBibTeX XMLCite \textit{A. Bemporad} et al., Eur. J. Control 7, No. 4, 382--399 (2001; Zbl 1293.93081) Full Text: DOI Link
Tuffin, Bruno; Chen, Dong S.; Trivedi, Kishor S. Comparison of hybrid systems and fluid stochastic Petri nets. (English) Zbl 0973.93028 Discrete Event Dyn. Syst. 11, No. 1-2, 77-95 (2001). Reviewer: Bernd Mathiszik (Halle) MSC: 93C65 68Q85 93B17 PDFBibTeX XMLCite \textit{B. Tuffin} et al., Discrete Event Dyn. Syst. 11, No. 1--2, 77--95 (2001; Zbl 0973.93028) Full Text: DOI
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard Beyond HyTech: Hybrid systems analysis using interval numerical methods. (English) Zbl 0938.93552 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, 130-144 (2000). MSC: 93C30 93B40 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 1790, 130--144 (2000; Zbl 0938.93552)
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded Approximate reachability analysis of piecewise-linear dynamical systems. (English) Zbl 0938.93502 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, 20-31 (2000). MSC: 93B03 PDFBibTeX XMLCite \textit{E. Asarin} et al., Lect. Notes Comput. Sci. 1790, 20--31 (2000; Zbl 0938.93502)
Wong-Toi, Howard Analysis of slope-parametric rectangular automata. (English) Zbl 0927.93034 Antsaklis, Panos (ed.) et al., Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11–13, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1567, 390-413 (1999). Reviewer: Thomas M.Liebling (Lausanne) MSC: 93C30 93B11 68Q45 PDFBibTeX XMLCite \textit{H. Wong-Toi}, Lect. Notes Comput. Sci. 1567, 390--413 (1999; Zbl 0927.93034)