References in zbMATH (referenced in 27 articles )

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

1 2 next

  1. Bernardeschi, Cinzia; Domenici, Andrea: Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (2016)
  2. Navarro-López, Eva M.; Carter, Rebekah: Deadness and how to disprove liveness in hybrid dynamical systems (2016)
  3. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  4. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  5. Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter: A compositional modelling and analysis framework for stochastic hybrid systems (2013)
  6. Hiraishi, Kunihiko; Kobayashi, Koich: An approximation algorithm for box abstraction of transition systems on real state spaces (2013)
  7. She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican: Discovering polynomial Lyapunov functions for continuous dynamical systems (2013)
  8. Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz: Safety verification for probabilistic hybrid systems (2012)
  9. Ramdani, Nacim; Nedialkov, Nedialko S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (2011)
  10. Akbarpour, Behzad; Paulson, Lawrence Charles: MetiTarski: An automatic theorem prover for real-valued special functions (2010)
  11. Campagna, Dario; Piazza, Carla: Hybrid automata, reachability, and systems biology (2010)
  12. Geuvers, Herman; Koprowski, Adam; Synek, Dan; van der Weegen, Eelis: Automated machine-checked hybrid system safety proofs (2010)
  13. Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.: Hybrid systems: From verification to falsification by combining motion planning and discrete search (2009)
  14. She, Zhikun; Xia, Bican; Xiao, Rong; Zheng, Zhiming: A semi-algebraic approach for asymptotic stability analysis (2009)
  15. Bauer, K.; Gentilini, Raffaella; Schneider, Klaus: Approximated reachability on hybrid automata: Falsification meets certification. (2008)
  16. Bauer, K.; Gentilini, R.; Schneider, K.: Approximated reachability on hybrid automata: falsification meets certification (2008)
  17. Collins, Pieter; Goldsztejn, Alexandre: The reach-and-evolve algorithm for reachability analysis of nonlinear dynamical systems (2008)
  18. Collins, Pieter; Goldsztejn, Alexandre: The reach-and-evolve algorithm for reachability analysis of nonlinear dynamical systems. (2008)
  19. Frehse, Goran: Phaver: Algorithmic verification of hybrid systems past hytech (2008)
  20. Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo: Symbolic model checking of hybrid systems using template polyhedra (2008)

1 2 next