default search action
1st/2nd ARCH 2014/2015: Berlin, Germany / Seattle, WA, USA
- Goran Frehse, Matthias Althoff:
1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. EPiC Series in Computing 34, EasyChair 2015
ARCH 2014
- Victor Gan, Guy Albert Dumont, Ian Mitchell:
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery. 1-8 - Hongxu Chen, Sayan Mitra, Guangyu Tian:
Motor-Transmission Drive System: a Benchmark Example for Safety Verification. 9-18 - Luan Viet Nguyen
, Taylor T. Johnson:
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). 19-24 - Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Benchmarks for Temporal Logic Requirements for Automotive Systems. 25-30 - Thomas Heinz, Jens Oehlerking, Matthias Woehrle:
Benchmark: Reachability on a model with holes. 31-36 - Ibtissem Ben Makhlouf, Stefan Kowalewski:
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. 37-42
ARCH 2015
- Luca Parolini, Simone Schuler, Adolfo Anta:
Benchmark problem: an air brake model for trains. 43-48 - Thomas Strathmann, Jens Oehlerking:
Verifying Properties of an Electro-Mechanical Braking System. 49-56 - Antonio Eduardo Carrilho da Cunha:
Benchmark: Quadrotor Attitude Control. 57-72 - Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson:
Benchmark Generator for Stratified Controllers of Tank Networks. 73-79 - Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle:
Industrial Examples of Formal Specifications for Test Case Generation. 80-88 - Hoang-Dung Tran, Luan Viet Nguyen
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. 89-97 - Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie:
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. 98-112
ARCH 2014
- Bardh Hoxha, Houssam Abbas, Georgios Fainekos
Using S-TaLiRo on Industrial Size AuImmlertomotive Models. 113-119
ARCH 2015
- Matthias Althoff:
An Introduction to CORA 2015. 120-151 - Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. 152-159 - Alexandre Donzé, Vasumathi Raman:
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. 160-168
ARCH 2014
- Ibtissem Ben Makhlouf, Stefan Kowalewski:
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. 169-179
ARCH 2015
- Fabian Immler:
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. 180-187 - Kyungmin Bae, Soonho Kong, Sicun Gao:
SMT Encoding of Hybrid Systems in dReal. 188-195 - Stefano Minopoli, Goran Frehse:
Running SpaceEx on the ARCH14 Benchmarks. 196-206 - Chuchu Fan
Progress on Powertrain Verification Challenge with C2E2. 207-212
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: