Lindemann, Lars; Rodionova, Alena; Pappas, George Temporal robustness of stochastic signals. (English) Zbl 07807718 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{L. Lindemann} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022; Zbl 07807718) Full Text: DOI arXiv
Cleaveland, Matthew; Lindemann, Lars; Ivanov, Radoslav; Pappas, George J. Risk verification of stochastic systems with neural network controllers. (English) Zbl 07613160 Artif. Intell. 313, Article ID 103782, 27 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Cleaveland} et al., Artif. Intell. 313, Article ID 103782, 27 p. (2022; Zbl 07613160) Full Text: DOI arXiv
Chen, Shaoru; Fazlyab, Mahyar; Morari, Manfred; Pappas, George J.; Preciado, Victor M. Learning Lyapunov functions for hybrid systems. (English) Zbl 07807686 Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Chen} et al., in: Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021; Zbl 07807686) Full Text: DOI arXiv
Ivanov, Radoslav; Carpenter, Taylor; Weimer, James; Alur, Rajeev; Pappas, George; Lee, Insup Verisig 2.0: verification of neural network controllers using Taylor model preconditioning. (English) Zbl 1493.68211 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 249-262 (2021). MSC: 68Q60 34A34 65G40 65L05 93C15 PDFBibTeX XMLCite \textit{R. Ivanov} et al., Lect. Notes Comput. Sci. 12759, 249--262 (2021; Zbl 1493.68211) Full Text: DOI
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup Case study: Verifying the safety of an autonomous racing car with a neural network controller. (English) Zbl 07300869 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 28, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Ivanov} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 28, 7 p. (2020; Zbl 07300869) Full Text: DOI arXiv
Bowman, Sean L.; Nowzari, Cameron; Pappas, George J. Consensus of multiagent systems via asynchronous cloud communication. (English) Zbl 1516.93231 IEEE Trans. Control Netw. Syst. 7, No. 2, 627-637 (2020). MSC: 93D50 93A16 68M12 PDFBibTeX XMLCite \textit{S. L. Bowman} et al., IEEE Trans. Control Netw. Syst. 7, No. 2, 627--637 (2020; Zbl 1516.93231) Full Text: DOI
Riess, Hans; Kantaros, Yiannis; Pappas, George; Ghrist, Robert A Temporal Logic-Based Hierarchical Network Connectivity Controller. arXiv:2009.00669 Preprint, arXiv:2009.00669 [eess.SY] (2020). MSC: 03B44 93B70 68M18 68W15 68Q85 BibTeX Cite \textit{H. Riess} et al., ``A Temporal Logic-Based Hierarchical Network Connectivity Controller'', Preprint, arXiv:2009.00669 [eess.SY] (2020) Full Text: DOI arXiv OA License
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup Verisig: verifying safety properties of hybrid systems with neural network controllers. (English) Zbl 07120152 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). 169-178 (2019). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Ivanov} et al., 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). 169--178 (2019; Zbl 07120152) Full Text: DOI arXiv
Jadbabaie, Ali; Olshevsky, Alexander; Pappas, George J.; Tzoumas, Vasileios Minimal reachability is hard to approximate. (English) Zbl 1482.93242 IEEE Trans. Autom. Control 64, No. 2, 783-789 (2019). MSC: 93C05 68W25 93A15 93B05 68Q25 PDFBibTeX XMLCite \textit{A. Jadbabaie} et al., IEEE Trans. Autom. Control 64, No. 2, 783--789 (2019; Zbl 1482.93242) 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
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo SMC: satisfiability modulo convex optimization. (English) Zbl 1366.68102 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). 19-28 (2017). MSC: 68Q25 68T20 90C25 PDFBibTeX XMLCite \textit{Y. Shoukry} et al., 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). 19--28 (2017; Zbl 1366.68102) Full Text: DOI
Han, Shuo; Topcu, Ufuk; Pappas, George J. Differentially private distributed constrained optimization. (English) Zbl 1359.90167 IEEE Trans. Autom. Control 62, No. 1, 50-64 (2017). MSC: 90C90 68P25 90C25 PDFBibTeX XMLCite \textit{S. Han} et al., IEEE Trans. Autom. Control 62, No. 1, 50--64 (2017; Zbl 1359.90167) Full Text: DOI arXiv
Preciado, Victor M.; Zargham, Michael; Enyioha, Chinwendu; Jadbabaie, Ali; Pappas, George J. Optimal resource allocation for network protection against spreading processes. (English) Zbl 1370.90048 IEEE Trans. Control Netw. Syst. 1, No. 1, 99-108 (2014). MSC: 90B10 90B25 68M10 91D30 PDFBibTeX XMLCite \textit{V. M. Preciado} et al., IEEE Trans. Control Netw. Syst. 1, No. 1, 99--108 (2014; Zbl 1370.90048) Full Text: DOI arXiv
Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael Compositional safety analysis using barrier certificates. (English) Zbl 1362.68185 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). 15-23 (2012). MSC: 68Q60 93A15 93B03 PDFBibTeX XMLCite \textit{C. Sloth} et al., 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). 15--23 (2012; Zbl 1362.68185) Full Text: DOI
Pajic, Miroslav; Sundaram, Shreyas; Pappas, George J.; Mangharam, Rahul The wireless control network: a new approach for control over networks. (English) Zbl 1368.90024 IEEE Trans. Autom. Control 56, No. 10, 2305-2318 (2011). MSC: 90B10 68M10 93A14 93D15 PDFBibTeX XMLCite \textit{M. Pajic} et al., IEEE Trans. Autom. Control 56, No. 10, 2305--2318 (2011; Zbl 1368.90024) Full Text: DOI
Girard, Antoine; Pappas, George J. Approximate bisimulation: a bridge between computer science and control theory. (English) Zbl 1253.68241 Eur. J. Control 17, No. 5-6, 568-578 (2011). MSC: 68Q85 93C95 PDFBibTeX XMLCite \textit{A. Girard} and \textit{G. J. Pappas}, Eur. J. Control 17, No. 5--6, 568--578 (2011; Zbl 1253.68241) Full Text: DOI
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. (English) Zbl 1361.68149 Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 211-220 (2010). MSC: 68Q60 65C05 PDFBibTeX XMLCite \textit{T. Nghiem} et al., in: Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12--16, 2010. New York, NY: Association for Computing Machinery (ACM). 211--220 (2010; Zbl 1361.68149) Full Text: DOI
Julius, A. Agung; Pappas, George J. Approximations of stochastic hybrid systems. (English) Zbl 1367.93618 IEEE Trans. Autom. Control 54, No. 6, 1193-1203 (2009). MSC: 93E03 93C10 60G35 68Q45 PDFBibTeX XMLCite \textit{A. A. Julius} and \textit{G. J. Pappas}, IEEE Trans. Autom. Control 54, No. 6, 1193--1203 (2009; Zbl 1367.93618) Full Text: DOI
Fainekos, Georgios E.; Pappas, George J. Robustness of temporal logic specifications for continuous-time signals. (English) Zbl 1186.68287 Theor. Comput. Sci. 410, No. 42, 4262-4291 (2009). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{G. E. Fainekos} and \textit{G. J. Pappas}, Theor. Comput. Sci. 410, No. 42, 4262--4291 (2009; Zbl 1186.68287) Full Text: DOI
Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J. Temporal logic motion planning for dynamic robots. (English) Zbl 1158.93369 Automatica 45, No. 2, 343-352 (2009). MSC: 93C83 68T40 PDFBibTeX XMLCite \textit{G. E. Fainekos} et al., Automatica 45, No. 2, 343--352 (2009; Zbl 1158.93369) Full Text: DOI
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
Alur, Rajeev (ed.); Pappas, George J. (ed.) Special issue: Selected papers based on the presentations at the 7th international conference on hybrid systems and control (HSCC 2004), Philadelphia, USA, March 25–27, 2004. (English) Zbl 1141.68302 Form. Methods Syst. Des. 32, No. 1, 83 p. (2008). MSC: 68-06 00B25 PDFBibTeX XML
Fainekos, Georgios E.; Pappas, George J. Robust sampling for MITL specifications. (English) Zbl 1141.68464 Raskin, Jean-François (ed.) et al., Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75453-4/pbk). Lecture Notes in Computer Science 4763, 147-162 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{G. E. Fainekos} and \textit{G. J. Pappas}, Lect. Notes Comput. Sci. 4763, 147--162 (2007; Zbl 1141.68464) Full Text: DOI
Tabuada, Paulo; Pappas, George J. Linear time logic control of discrete-time linear systems. (English) Zbl 1366.93413 IEEE Trans. Autom. Control 51, No. 12, 1862-1877 (2006). MSC: 93C85 68Q60 93C55 PDFBibTeX XMLCite \textit{P. Tabuada} and \textit{G. J. Pappas}, IEEE Trans. Autom. Control 51, No. 12, 1862--1877 (2006; Zbl 1366.93413) Full Text: DOI
Fainekos, Georgios E.; Girard, Antoine; Pappas, George J. Temporal logic verification using simulation. (English) Zbl 1141.68463 Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 171-186 (2006). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{G. E. Fainekos} et al., Lect. Notes Comput. Sci. 4202, 171--186 (2006; Zbl 1141.68463) Full Text: DOI Link
Girard, Antoine; Pappas, George J. Verification using simulation. (English) Zbl 1178.68344 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, 272-286 (2006). MSC: 68Q60 68Q85 93B40 PDFBibTeX XMLCite \textit{A. Girard} and \textit{G. J. Pappas}, Lect. Notes Comput. Sci. 3927, 272--286 (2006; Zbl 1178.68344) Full Text: DOI
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George J. Bisimulation relations for dynamical, control, and hybrid systems. (English) Zbl 1077.68062 Theor. Comput. Sci. 342, No. 2-3, 229-261 (2005). MSC: 68Q85 93C65 PDFBibTeX XMLCite \textit{E. Haghverdi} et al., Theor. Comput. Sci. 342, No. 2--3, 229--261 (2005; Zbl 1077.68062) Full Text: DOI Link
Tabuada, Paulo; Pappas, George J. Bisimilar control affine systems. (English) Zbl 1157.93300 Syst. Control Lett. 52, No. 1, 49-58 (2004). MSC: 93A05 68Q60 93C65 PDFBibTeX XMLCite \textit{P. Tabuada} and \textit{G. J. Pappas}, Syst. Control Lett. 52, No. 1, 49--58 (2004; Zbl 1157.93300) Full Text: DOI Link
Tabuada, Paulo; Pappas, George J.; Lima, Pedro Compositional abstractions of hybrid control systems. (English) Zbl 1060.93070 Discrete Event Dyn. Syst. 14, No. 2, 203-238 (2004). Reviewer: Seenith Sivasundaram (Daytona Beach) MSC: 93C65 93A05 68Q85 93A15 PDFBibTeX XMLCite \textit{P. Tabuada} et al., Discrete Event Dyn. Syst. 14, No. 2, 203--238 (2004; Zbl 1060.93070) Full Text: DOI
Alur, Rajeev (ed.); Pappas, George J. (ed.) Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. (English) Zbl 1046.93002 Lecture Notes in Computer Science 2993. Berlin: Springer (ISBN 3-540-21259-0/pbk). xii, 674 p. (2004). MSC: 93-06 68-06 00B25 93C30 PDFBibTeX XMLCite \textit{R. Alur} (ed.) and \textit{G. J. Pappas} (ed.), Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings. Berlin: Springer (2004; Zbl 1046.93002)
Alur, Rajeev; La Torre, Salvatore; Pappas, George J. Optimal paths in weighted timed automata. (English) Zbl 1068.68080 Theor. Comput. Sci. 318, No. 3, 297-322 (2004). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{R. Alur} et al., Theor. Comput. Sci. 318, No. 3, 297--322 (2004; Zbl 1068.68080) Full Text: DOI
Haghverdi, Esfandiar; Tabuada, Paulo; Pappas, George Bisimulation relations for dynamical and control systems. (English) Zbl 1270.68215 Blute, Rick (ed.) et al., CTCS’02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15–17, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 69, 120-136 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Haghverdi} et al., Electron. Notes Theor. Comput. Sci. 69, 120--136 (2003; Zbl 1270.68215) Full Text: DOI
Pappas, George J. Bisimilar linear systems. (English) Zbl 1045.93033 Automatica 39, No. 12, 2035-2047 (2003). MSC: 93C65 93B03 93B11 68Q85 PDFBibTeX XMLCite \textit{G. J. Pappas}, Automatica 39, No. 12, 2035--2047 (2003; Zbl 1045.93033) Full Text: DOI
Tabuada, Paulo; Pappas, George J. Model checking LTL over controllable linear systems is decidable. (English) Zbl 1032.68104 Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 498-513 (2003). MSC: 68Q60 93C30 93C05 68Q85 03B25 PDFBibTeX XMLCite \textit{P. Tabuada} and \textit{G. J. Pappas}, Lect. Notes Comput. Sci. 2623, 498--513 (2003; Zbl 1032.68104) Full Text: Link
Alur, Rajeev; La Torre, Salvatore; Pappas, George J. Optimal paths in weighted timed automata. (English) Zbl 0991.93076 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, 49-62 (2002). MSC: 93C65 90C27 68Q45 68W05 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 2034, 49--62 (2002; Zbl 0991.93076) Full Text: Link
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O. Hierarchical hybrid modeling of embedded systems. (English) Zbl 1050.68508 Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 14-31 (2001). MSC: 68M99 68N99 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 2211, 14--31 (2001; Zbl 1050.68508) Full Text: Link
Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio Symbolic reachability computation for families of linear vector fields. (English) Zbl 0983.93004 J. Symb. Comput. 32, No. 3, 231-253 (2001). Reviewer: Lars Grüne (Frankfurt) MSC: 93B03 93B40 93C65 03C10 93C15 68W30 93B60 03D80 PDFBibTeX XMLCite \textit{G. Lafferriere} et al., J. Symb. Comput. 32, No. 3, 231--253 (2001; Zbl 0983.93004) Full Text: DOI
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar O-minimal hybrid systems. (English) Zbl 1059.68073 Math. Control Signals Syst. 13, No. 1, 1-21 (2000). MSC: 68Q60 03C64 PDFBibTeX XMLCite \textit{G. Lafferriere} et al., Math. Control Signals Syst. 13, No. 1, 1--21 (2000; Zbl 1059.68073) Full Text: DOI
Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar Hybrid systems with finite bisimulations. (English) Zbl 0942.93015 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, 186-203 (1999). Reviewer: J.Hammer (Gainesville) MSC: 93C30 93B03 68Q85 68Q60 PDFBibTeX XMLCite \textit{G. Lafferriere} et al., Lect. Notes Comput. Sci. 1567, 186--203 (1999; Zbl 0942.93015)