×

Found 39 Documents (Results 1–39)

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

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).
PDFBibTeX XMLCite
Full Text: Link

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
Full Text: Link

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software