ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems22 articles•212 pages•Published: December 17, 2015 PapersPages 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 |
KeyphrasesAcademic5, 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 |
|