ARCH15: Volume InformationARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems22 articles•212 pages•Published: December 17, 2015 Papers| Victor Gan, Guy Dumont and Ian Mitchell 1-8 | | Hongxu Chen, Sayan Mitra and Guangyu Tian 9-18 | | Luan Viet Nguyen and Taylor T Johnson 19-24 | | Bardh Hoxha, Houssam Abbas and Georgios Fainekos 25-30 | | Thomas Heinz, Jens Oehlerking and Matthias Woehrle 31-36 | | Ibtissem Ben Makhlouf and Stefan Kowalewski 37-42 | | Luca Parolini, Simone Schuler and Adolfo Anta 43-48 | | Thomas Strathmann and Jens Oehlerking 49-56 | | A. E. C. Da Cunha 57-72 | | Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson 73-79 | | Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle 80-88 | | Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson 89-97 | | Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie 98-112 | | Bardh Hoxha, Houssam Abbas and Georgios Fainekos 113-119 | | Matthias Althoff 120-151 | | Xin Chen, Sriram Sankaranarayanan and Erika Abraham 152-159 | | Alexandre Donzé and Vasumathi Raman 160-168 | | Ibtissem Ben Makhlouf and Stefan Kowalewski 169-179 | | Fabian Immler 180-187 | | Kyungmin Bae, Soonho Kong and Sicun Gao 188-195 | | Stefano Minopoli and Goran Frehse 196-206 | | Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan 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. |
|
