×

Found 52 Documents (Results 1–52)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).
MSC:  93B40 93B03 90B25 93B12 93A15 93C65 93-04
PDFBibTeX XMLCite

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

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

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software