default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ARCH 2016: Vienna, Austria
- Goran Frehse, Matthias Althoff:
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. EPiC Series in Computing 43, EasyChair 2017 - Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. 1-8 - Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew:
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. 9-17 - Simone Schuler, Fabiano Daher Adegas, Adolfo Anta:
Hybrid Modelling of a Wind Turbine. 18-26 - Omar Beg
, Ali Davoudi, Taylor T. Johnson:
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis. 27-35 - Sergiy Bogomolov, Christian Herrera, Wilfried Steiner:
Verification of Fault-Tolerant Clock Synchronization Algorithms. 36-41 - Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson:
Non-linear Continuous Systems for Safety Verification. 42-51 - Scott C. Livingston, Vasumathi Raman:
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. 52-59 - Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson:
Large-Scale Linear Systems from Order-Reduction. 60-67 - Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski:
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. 68-79 - Stanley Bak, Sergiy Bogomolov, Christian Schilling:
High-level Hybrid Systems Analysis with Hypy. 80-90 - Matthias Althoff, Dmitry Grebenyuk:
Implementation of Interval Arithmetic in CORA 2016. 91-105 - Axel Busboom, Simone Schuler, Alexander Walsch:
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. 106-114 - Eike Möhlmann, Willem Hagemann, Astrid Rakow:
Verifying a PI Controller using SoapBox and Stabhyli. 115-125 - Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem:
SMT-Based CPS Parameter Synthesis. 126-133 - Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour, John Lygeros:
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems. 134-143
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-12 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
