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 264 articles , 1 standard article )

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

1 2 3 ... 12 13 14 next

  1. Baştuğ, Mert; Petreczky, Mihály; Wisniewski, Rafael; Leth, John: Reachability and observability reduction for linear switched systems with constrained switching (2016)
  2. Colvin, Robert J.: Modelling and analysing neural networks using a hybrid process algebra (2016)
  3. Papadopoulos, Alessandro Vittorio; Prandini, Maria: Model reduction of switched affine systems (2016)
  4. Aréchiga, Nikos; Kapinski, James; Deshmukh, Jyotirmoy V.; Platzer, André; Krogh, Bruce: Numerically-aided deductive safety proof for a powertrain control system (2015)
  5. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano: HRELTL: a temporal logic for hybrid systems (2015)
  6. Motallebi, Hassan; Azgomi, Mohammad Abdollahi: Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (2015)
  7. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  8. Rebiha, Rachid; Moura, Arnaldo V.; Matringe, Nadir: Generating invariants for non-linear hybrid systems (2015)
  9. Volkanov, D.Yu.; Zakharov, V.A.; Zorin, D.A.; Podymov, V.V.; Konnov, I.V.: A combined toolset for the verification of real-time distributed systems (2015)
  10. Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea: Efficient constraint/generator removal from double description of polyhedra (2014)
  11. André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song: Parameter synthesis for hierarchical concurrent real-time systems (2014)
  12. Minopoli, Stefano; Frehse, Goran: Non-convex invariants and urgency conditions on linear hybrid automata (2014)
  13. Mitsch, Stefan; Passmore, Grant Olney; Platzer, André: Collaborative verification-driven engineering of hybrid systems (2014)
  14. Xie, Dingbao; Bu, Lei; Zhao, Jianhua; Li, Xuandong: SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (2014)
  15. Yan, Chao; Greenstreet, Mark R.; Yang, Suwen: Verifying global start-up for a Möbius ring-oscillator (2014)
  16. Abate, Alessandro: Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (2013)
  17. Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano: Automatic synthesis of switching controllers for linear hybrid systems: safety control (2013)
  18. Ben Maissa, Yann; Kordon, Fabrice; Mouline, Salma; Thierry-Mieg, Yann: Modeling and analyzing wireless sensor networks with verisensor: an integrated workflow (2013)
  19. Buntins, Matthias; Schicke, Jens-W.; Eggert, Frank; Goltz, Ursula: Hybrid automata as a modelling approach in the behavioural sciences (2013)
  20. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano: SMT-based scenario verification for hybrid systems (2013)

1 2 3 ... 12 13 14 next