ARCH16 Volume Information
Volume:Goran Frehse and Matthias Althoff (editors)
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

ARCH16 Volume Information

Title:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Editors:Goran Frehse and Matthias Althoff
Series:EPiC Series in Computing
Publication date:February 1, 2017


Houssam Abbas, Kuk Jin Jang and Rahul MangharamNonlinear Hybrid Automata Model of Excitable Cardiac Tissue1-8
Sidharta Andalam, Avinash Malik, Partha Roop and Mark TrewHybrid Automata Model of the Heart for Formal Verification of Pacemakers9-17
Simone Schuler, Fabiano Daher Adegas and Adolfo AntaHybrid Modelling of a Wind Turbine18-26
Omar Beg, Ali Davoudi and Taylor T JohnsonCharge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis27-35
Sergiy Bogomolov, Christian Herrera and Wilfried SteinerVerification of Fault-Tolerant Clock Synchronization Algorithms36-41
Andrew Sogokon, Khalil Ghorbal and Taylor T JohnsonNon-linear Continuous Systems for Safety Verification42-51
Scott Livingston and Vasumathi RamanChains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis52-59
Hoang-Dung Tran, Luan Viet Nguyen and Taylor T JohnsonLarge-Scale Linear Systems from Order-Reduction60-67
Ibtissem Ben Makhlouf, Norman Hansen and Stefan KowalewskiHyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions68-79
Stanley Bak, Sergiy Bogomolov and Christian SchillingHigh-level Hybrid Systems Analysis with Hypy80-90
Matthias Althoff and Dmitry GrebenyukImplementation of Interval Arithmetic in CORA 201691-105
Axel Busboom, Simone Schuler and Alexander WalschformalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification106-114
Eike Möhlmann, Willem Hagemann and Astrid RakowVerifying a PI Controller using SoapBox and Stabhyli115-125
Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick BloemSMT-Based CPS Parameter Synthesis126-133
Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John LygerosA Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems134-143


4matlab, tool
3formal methods, hybrid automata, synthesis
2control, hybrid systems, safety
1ams, analog mixed signal circuits, approximated dynamic programming, biological systems, cardiac devices, cegis, clock synchronization algorithm, continuous systems, controlled natural language, cora, cyber physical systems, experience report, formalspec, gridding techniques, heart, heart modeling, hybrid modelling, hypy, hyreach, hyst, induction, interval arithmetic, large scale systems, linear hybrid systems, linear systems, linear temporal logic, liveness, markov decision processes, model, model checking, monitor automata, motion planning, nonlinear hybrid automata, nonlinear systems, order reduction, ordinary differential equations, pacemaker, parameter identification, pll, polynomial dynamics, polynomial optimization, pseudo invariant, quasi dependent variables, radial basis functions, reach avoid, rectifiers, repair, requirement templates, requirements, requirements capture, robotics, semidefinite programming, simulink, smt, soapbox, spaceex, specification templates, stabhyli, stateflow, stochastic control, sum of squares, support functions, switched system, ttethernet, value function bounds, vhdl ams, virtual heart model, wind turbine