Abstract is missing.
- Nonlinear Hybrid Automata Model of Excitable Cardiac TissueHoussam Abbas, Kuk Jin Jang, Rahul Mangharam. 1-8 [doi]
- Hybrid Automata Model of the Heart for Formal Verification of PacemakersSidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew. 9-17 [doi]
- Hybrid Modelling of a Wind TurbineSimone Schuler, Fabiano Daher Adegas, Adolfo Anta. 18-26 [doi]
- Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability AnalysisOmar Beg, Ali Davoudi, Taylor T. Johnson. 27-35 [doi]
- Verification of Fault-Tolerant Clock Synchronization AlgorithmsSergiy Bogomolov, Christian Herrera, Wilfried Steiner. 36-41 [doi]
- Non-linear Continuous Systems for Safety VerificationAndrew Sogokon, Khalil Ghorbal, Taylor T. Johnson. 42-51 [doi]
- Chains of Integrators as a Benchmark for Scalability of Hybrid Control SynthesisScott Livingston, Vasumathi Raman. 52-59 [doi]
- Large-Scale Linear Systems from Order-ReductionHoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson. 60-67 [doi]
- HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support FunctionsIbtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski. 68-79 [doi]
- High-level Hybrid Systems Analysis with HypyStanley Bak, Sergiy Bogomolov, Christian Schilling. 80-90 [doi]
- Implementation of Interval Arithmetic in CORA 2016Matthias Althoff, Dmitry Grebenyuk. 91-105 [doi]
- formalSpec - Semi-Automatic Formalization of System Requirements for Formal VerificationAxel Busboom, Simone Schuler, Alexander Walsch. 106-114 [doi]
- Verifying a PI Controller using SoapBox and StabhyliEike Möhlmann, Willem Hagemann, Astrid Rakow. 115-125 [doi]
- SMT-Based CPS Parameter SynthesisHeinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem. 126-133 [doi]
- A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid ProblemsDalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour, John Lygeros. 134-143 [doi]