ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

22 articles212 pagesPublished: December 17, 2015

Papers

Pages 1-8
Pages 9-18
Pages 19-24
Pages 25-30
Pages 31-36
Pages 37-42
Pages 43-48
Pages 49-56
Pages 57-72
Pages 73-79
Pages 80-88
Pages 89-97
Pages 98-112
Pages 113-119
Pages 120-151
Pages 152-159
Pages 160-168
Pages 169-179
Pages 180-187
Pages 188-195
Pages 196-206
Pages 207-212

Keyphrases

Academic5, affine arithmetic, algorithmic verification, Anesthesia, attitude control, Automotive6, benchmark11, BluSTL, C2E2, circuits, continuous systems, control8, CORA, Discrepancy Functions, dReach, dReal, Educational, experience report, falsification2, Flow*3, formal specifications, generator, H2/Hinf control, HOL, hybrid automata3, hybrid systems6, hypnosis, Hyst, Industrial6, interactive theorem proving, Isabelle, iSAT-ODE, Maple, MATLAB4, Mixed Integer Linear Programming, Model Predictive Control, Networked Systems, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, ordinary differential equations, pharmacodynamics, pharmacokinetics, piecewise affine, PKPD, Platoon, powertrain, Powertrain control, Propofol, Python, Quadrotor, reachability6, Rigorous Numerics, S-Taliro2, safety7, set-representations, Signal Temporal Logic, simulation, Simulink4, SMT, SpaceEx4, Stateflow4, Support Functions, switched systems, synthesis, tank, Taylor model, temporal logic2, test case generation, tools8, train control, verification10, zonotopes