Fetching the paper…
Reading the bibliography…
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph specifying mode switches.
Decidability of bisimulation equivalences for parallel timer processes
Kārlis Čerāns · 1992
Earlier work this paper cites.
Hytech: The cornell hybrid technology tool
Thomas A Henzinger and Pei-Hsin Ho · 1994
Earlier work this paper cites.
An introduction to computational learning theory
Michael J Kearns and Umesh Virkumar Vazirani · 1994
Earlier work this paper cites.
The tool kronos
Conrado Daws, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine · 1996
Earlier work this paper cites.
Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
Alongkrit Chutinan and Bruce H Krogh · 1999
Earlier work this paper cites.
Reachability analysis using polygonal projections
Mark R Greenstreet and Ian Mitchell · 1999
Earlier work this paper cites.
Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations
Oleg Botchkarev and Stavros Tripakis · 2000
Earlier work this paper cites.
Ellipsoidal techniques for reachability analysis: internal approximation
Alexander B Kurzhanski and Pravin Varaiya · 2000
Earlier work this paper cites.
Level set methods for computation in hybrid systems
Ian Mitchell and Claire J Tomlin · 2000
Earlier work this paper cites.
Ellipsoidal approximations of reachable sets for linear games
Norihiko Shishido and Claire J Tomlin · 2000
Earlier work this paper cites.
The d/dt tool for verification of hybrid systems
Eugene Asarin, Thao Dang, and Oded Maler · 2002
Earlier work this paper cites.
Counter-example guided predicate abstraction of hybrid systems
Rajeev Alur, Thao Dang, and Franjo Ivančić · 2003
Earlier work this paper cites.
Abstraction and counterexample-guided refinement in model checking of hybrid systems
Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joël Ouaknine, Olaf Stursberg, and Michael Theobald · 2003
Earlier work this paper cites.
Verification of hybrid systems based on counterexample-guided abstraction refinement
Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, and Michael Theobald · 2003
Earlier work this paper cites.
Timed systems in sal
Bruno Dutertre and Maria Sorea · 2004
Earlier work this paper cites.
On the language inclusion problem for timed automata: Closing a decidability gap
Joël Ouaknine and James Worrell · 2004
Earlier work this paper cites.
Automatic rectangular refinement of affine hybrid systems
Laurent Doyen, Thomas A. Henzinger, and Jean-Francois Raskin · 2005
Earlier work this paper cites.
Phaver: Algorithmic verification of hybrid systems past hytech
Goran Frehse · 2005
Earlier work this paper cites.
Ariadne: a framework for reachability analysis of hybrid automata
Andrea Balluchi, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Tiziano Villa, and Alberto L Sangiovanni-Vincentelli · 2006
Cited alongside, same era.
Verification using simulation
Antoine Girard and George J Pappas · 2006
Cited alongside, same era.
Automatic abstraction refinement for timed automata
Henning Dierks, Sebastian Kupferschmid, and Kim G Larsen · 2007
Cited alongside, same era.
Systematic simulation using sensitivity analysis
Alexandre Donzé and Oded Maler · 2007
Cited alongside, same era.
Reachability for linear hybrid automata using iterative relaxation abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, and Edmund M. Clarke · 2007
Cited alongside, same era.
Robust test generation and coverage for hybrid systems
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George J. Pappas · 2007
Verification of annotated models from executions
Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan · 2013
Later among the works it cites.
Guided search for hybrid systems based on coarse-grained space abstractions
Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle · 2014
Later among the works it cites.
Assume-guarantee abstraction refinement meets hybrid systems
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, and Thomas Strump · 2014
Later among the works it cites.
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska · 2014
Later among the works it cites.
Powertrain control verification benchmark
Xiaoqing Jin, Jyotirmoy V Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts · 2014
Later among the works it cites.
Dynamic Analysis of Cyber-Physical Systems
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Safety verification of hybrid systems by constraint propagation based abstraction refinement
Stefan Ratschan and Zhikun She · 2007
Cited alongside, same era.
Abstraction and counterexample-guided construction of ω \omega -automata for model checking of step-discrete linear hybrid models
Marc Segelken · 2007
Cited alongside, same era.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Cited alongside, same era.
Robustness of temporal logic specifications for continuous-time signals
Georgios E. Fainekos and George J. Pappas · 2009
Cited alongside, same era.
Generating and analyzing symbolic traces of simulink/stateflow models
Aditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar · 2009
Cited alongside, same era.
Breach, a toolbox for verification and parameter synthesis of hybrid systems
Alexandre Donzé · 2010
Cited alongside, same era.
Parasara Sridhar Duggirala · 2015
Later among the works it cites.
Meeting a powertrain verification challenge
Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, and Mahesh Viswanathan · 2015
Later among the works it cites.
C2E2: A verification tool for stateflow models
Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, and Matthew Potok · 2015
Later among the works it cites.
Progress on powertrain verification challenge with C2E2
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan · 2015
Later among the works it cites.
Bounded verification with on-the-fly discrepancy computation
Chuchu Fan and Sayan Mitra · 2015
Later among the works it cites.
dreach: δ \delta -reachability analysis for hybrid systems
Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke · 2015
Later among the works it cites.
A CEGAR tool for the reachability analysis of PLC-controlled plants using hybrid automata
Johanna Nellen, Erika Ábrahám, and Benedikt Wolters · 2015
Later among the works it cites.
Hybrid automata-based cegar for rectangular hybrid systems
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan · 2015
Later among the works it cites.
Locally optimal reach set over-approximation for nonlinear systems
Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra · 2016
Later among the works it cites.
Automatic reachability analysis for nonlinear hybrid models with c2e2
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, and Parasara Sridhar Duggirala · 2016
Later among the works it cites.
Apex: Autonomous vehicle plan verification and execution
Matthew O’Kelly, Houssam Abbas, Sicun Gao, Shin’ichi Shiraishi, Shinpei Kato, and Rahul Mangharam · 2016
Later among the works it cites.
Hybridization based cegar for hybrid automata with affine dynamics
Nima Roohi, Pavithra Prabhakar, and Mahesh Viswanathan · 2016
Later among the works it cites.