d/dt

The d/dt tool for verification of hybrid systems. We describe the tool d/dt which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure is based on a method for overapproximating reachable sets by orthogonal polyhedra. The tool also allows to synthesize a controller which switches the system between continuous modes in order to satisfy a safety specification.


References in zbMATH (referenced in 33 articles )

Showing results 1 to 20 of 33.
Sorted by year (citations)

1 2 next

  1. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  2. Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano: Automatic synthesis of switching controllers for linear hybrid systems: safety control (2013)
  3. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2013)
  4. Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (2012)
  5. Campagna, Dario; Piazza, Carla: Hybrid automata, reachability, and systems biology (2010)
  6. Akbarpour, Behzad; Paulson, Lawrence C.: Applications of MetiTarski in the verification of control and hybrid systems (2009)
  7. Bartocci, E.; Corradini, F.; Di Berardini, M.R.; Entcheva, E.; Smolka, S.A.; Grosu, R.: Modeling and simulation of cardiac tissue using hybrid I/O automata (2009)
  8. Campagna, Dario; Piazza, Carla: Hybrid automata in systems biology: how far can we go? (2009)
  9. Campagna, Dario; Piazza, Carla: Hybrid automata in systems biology: how far can we go? (2009)
  10. Casagrande, Alberto; Piazza, Carla; Policriti, Alberto: Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (2009)
  11. Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.: Hybrid systems: From verification to falsification by combining motion planning and discrete search (2009)
  12. Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.: Spatial networks of hybrid I/O automata for modeling excitable tissue. (2008)
  13. Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.: Spatial networks of hybrid I/O automata for modeling excitable tissue (2008)
  14. Bhatia, Amit; Frazzoli, Emilio: Sampling-based resolution-complete algorithms for safety falsification of linear systems (2008)
  15. Hamadeh, Abdullah; Goncalves, Jorge: Reachability analysis of continuous-time piecewise affine systems (2008)
  16. Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo: Symbolic model checking of hybrid systems using template polyhedra (2008)
  17. Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar: Constructing invariants for hybrid systems (2008)
  18. Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)
  19. Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris: Exact state set representations in the verification of linear hybrid systems with large discrete state space (2007)
  20. Prajna, Stephen; Rantzer, Anders: Convex programs for temporal verification of nonlinear dynamical systems (2007)

1 2 next