HyTech

HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails, then HyTech generates a diagnostic error trace. The standard reference to the HyTech algorithm is [1], and the standard reference to the HyTech tool, [2].


References in zbMATH (referenced in 330 articles , 1 standard article )

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

1 2 3 ... 15 16 17 next

  1. Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain: Optimal and robust controller synthesis using energy timed automata with uncertainty (2021)
  2. Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim: Verification and parameter synthesis for real-time programs using refinement of trace abstraction (2021)
  3. Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel: Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (2021)
  4. Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico: On checking equivalence of simulation scripts (2021)
  5. Becchi, Anna; Zaffanella, Enea: PPLite: zero-overhead encoding of NNC polyhedra (2020)
  6. Fahrenberg, Uli; Legay, Axel; Quaas, Karin: Computing branching distances with quantitative games (2020)
  7. Suenaga, Kohei; Ishizawa, Takuya: Generalized property-directed reachability for hybrid systems (2020)
  8. Yang, Jung-Min; Moor, Thomas; Raisch, Jörg: Refinements of behavioural abstractions for the supervisory control of hybrid systems (2020)
  9. Jovanović, Aleksandra; Lime, Didier; Roux, Olivier H.: A game approach to the parametric control of real-time systems (2019)
  10. Júlvez, Jorge; Oliver, Stephen G.: Modeling, analyzing and controlling hybrid systems by guarded flexible nets (2019)
  11. Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander: A survey of challenges for runtime verification from advanced application domains (beyond software) (2019)
  12. Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André: Verification of hybrid systems (2018)
  13. Majumdar, Rupak; Raskin, Jean-François: Symbolic model checking in non-Boolean domains (2018)
  14. Nasti, Lucia; Milazzo, Paolo: A hybrid automata model of social networking addiction (2018)
  15. Zhang, Hui; Wu, Jinzhao: Formal verification and quantitative metrics of MPSoC data dynamics (2018)
  16. Bak, Stanley; Bogomolov, Sergiy; Althoff, Matthias: Time-triggered conversion of guards for reachability analysis of hybrid automata (2017)
  17. Bak, Stanley; Duggirala, Parasara Sridhar: Rigorous simulation-based analysis of linear hybrid systems (2017)
  18. Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.: Counterexample-guided refinement of template polyhedra (2017)
  19. Dreossi, Tommaso: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems (2017)
  20. Dreossi, Tommaso; Dang, Thao; Piazza, Carla: Reachability computation for polynomial dynamical systems (2017)

1 2 3 ... 15 16 17 next