ARCH16: Volume InformationARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems15 articles•143 pages•Published: February 1, 2017 PapersHoussam Abbas, Kuk Jin Jang and Rahul Mangharam 1-8 | Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew 9-17 | Simone Schuler, Fabiano Daher Adegas and Adolfo Anta 18-26 | Omar Beg, Ali Davoudi and Taylor T Johnson 27-35 | Sergiy Bogomolov, Christian Herrera and Wilfried Steiner 36-41 | Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson 42-51 | Scott Livingston and Vasumathi Raman 52-59 | Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson 60-67 | Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski 68-79 | Stanley Bak, Sergiy Bogomolov and Christian Schilling 80-90 | Matthias Althoff and Dmitry Grebenyuk 91-105 | Axel Busboom, Simone Schuler and Alexander Walsch 106-114 | Eike Möhlmann, Willem Hagemann and Astrid Rakow 115-125 | Heinz Riener, Robert Koenighofer, Goerschwin Fey and Roderick Bloem 126-133 | Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour and John Lygeros 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. |
|