ARCH16: Volume Information

ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

15 articles143 pagesPublished: February 1, 2017

Papers

Houssam Abbas, Kuk Jin Jang and Rahul Mangharam
1-8
Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew
9-17
Simone Schuler, Fabiano Daher Adegas and Adolfo Anta
18-26
Omar Beg, Ali Davoudi and Taylor T Johnson
27-35
Sergiy Bogomolov, Christian Herrera and Wilfried Steiner
36-41
Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson
42-51
Scott Livingston and Vasumathi Raman
52-59
Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson
60-67
Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski
68-79
Stanley Bak, Sergiy Bogomolov and Christian Schilling
80-90
Matthias Althoff and Dmitry Grebenyuk
91-105
Axel Busboom, Simone Schuler and Alexander Walsch
106-114
Eike Möhlmann, Willem Hagemann and Astrid Rakow
115-125
Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem
126-133
Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John Lygeros
134-143

Keyphrases

AMS, analog mixed signal circuits, approximated dynamic programming, benchmark8, biological systems, Cardiac devices, CEGIS, Clock Synchronization Algorithm, continuous systems, control2, controlled natural language, CORA, Cyber-Physical Systems, experience report, formal methods3, formalSpec, gridding techniques, Heart, Heart Modeling, hybrid automata3, hybrid modelling, hybrid systems2, Hypy, HyReach, Hyst, induction, interval arithmetic, large-scale systems, linear hybrid systems, linear systems, Linear Temporal Logic, liveness, Markov Decision Processes, MATLAB4, 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, reachability6, Rectifiers, repair, Requirement Templates, requirements, requirements capture, Robotics, safety2, semidefinite programming, Simulink, SMT, SoapBox, SpaceEx, specification templates, Stabhyli, Stateflow, stochastic control, sum of squares, Support Functions, switched system, synthesis3, tool4, TTEthernet, value function bounds, verification7, VHDL-AMS, Virtual heart model, wind turbine.