ARCH16: Volume Information

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

Papers

Keyphrases

AMS, analog mixed signal circuits, approximated dynamic programming, benchmark⁸, biological systems, Cardiac devices, CEGIS, Clock Synchronization Algorithm, continuous systems, control², controlled natural language, CORA, Cyber-Physical Systems, experience report, formal methods³, formalSpec, gridding techniques, Heart, Heart Modeling, hybrid automata³, hybrid modelling, hybrid systems², Hypy, HyReach, Hyst, induction, interval arithmetic, large-scale systems, linear hybrid systems, linear systems, Linear Temporal Logic, liveness, Markov Decision Processes, MATLAB⁴, 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, reachability⁶, Rectifiers, repair, Requirement Templates, requirements, requirements capture, Robotics, safety², semidefinite programming, Simulink, SMT, SoapBox, SpaceEx, specification templates, Stabhyli, Stateflow, stochastic control, sum of squares, Support Functions, switched system, synthesis³, tool⁴, TTEthernet, value function bounds, verification⁷, VHDL-AMS, Virtual heart model, wind turbine.