d/dt is a tool for reachability analysis of continuous and hybrid systems with linear differential inclusions. 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 34 articles )

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

1 2 next

  1. Dreossi, Tommaso: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems (2017)
  2. Sankaranarayanan, Sriram: Change-of-bases abstractions for non-linear hybrid systems (2016)
  3. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  4. Liberzon, Daniel: Finite data-rate feedback stabilization of switched and hybrid linear systems (2014)
  5. Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano: Automatic synthesis of switching controllers for linear hybrid systems: safety control (2013)
  6. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2013)
  7. 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)
  8. Bu, Lei; Zhao, Jianhua; Li, Xuandong: Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming (2010)
  9. Campagna, Dario; Piazza, Carla: Hybrid automata, reachability, and systems biology (2010)
  10. Akbarpour, Behzad; Paulson, Lawrence C.: Applications of MetiTarski in the verification of control and hybrid systems (2009)
  11. 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)
  12. Campagna, Dario; Piazza, Carla: Hybrid automata in systems biology: how far can we go? (2009)
  13. Casagrande, Alberto; Piazza, Carla; Policriti, Alberto: Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (2009)
  14. Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.: Hybrid systems: From verification to falsification by combining motion planning and discrete search (2009)
  15. 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)
  16. Bhatia, Amit; Frazzoli, Emilio: Sampling-based resolution-complete algorithms for safety falsification of linear systems (2008)
  17. Hamadeh, Abdullah; Goncalves, Jorge: Reachability analysis of continuous-time piecewise affine systems (2008)
  18. Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo: Symbolic model checking of hybrid systems using template polyhedra (2008)
  19. Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar: Constructing invariants for hybrid systems (2008)
  20. Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)

1 2 next