ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems15 articles•143 pages•Published: February 1, 2017 PapersPages 1-8 | Pages 9-17 | Pages 18-26 | Pages 27-35 | Pages 36-41 | Pages 42-51 | Pages 52-59 | Pages 60-67 | Pages 68-79 | Pages 80-90 | Pages 91-105 | Pages 106-114 | Pages 115-125 | Pages 126-133 | Pages 134-143 |
KeyphrasesAMS, 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 |
|