Volume
@proceedings{ARCH15,
title = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{ARCH15:Benchmark_Problem_PK_PD_Model,
author = {Victor Gan and Guy Dumont and Ian Mitchell},
title = {Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {1--8},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/R8kX},
doi = {10.29007/8drm}}
@inproceedings{ARCH15:Motor_Transmission_Drive_System_Benchmark,
author = {Hongxu Chen and Sayan Mitra and Guangyu Tian},
title = {Motor-Transmission Drive System: a Benchmark Example for Safety Verification},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {9--18},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/cwl},
doi = {10.29007/ct87}}
@inproceedings{ARCH15:Benchmark_DC_to_DC_Switched_Mode_Power,
author = {Luan Viet Nguyen and Taylor T Johnson},
title = {Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {19--24},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/swLb},
doi = {10.29007/23pm}}
@inproceedings{ARCH15:Benchmarks_for_Temporal_Logic,
author = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos},
title = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {25--30},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4bfq},
doi = {10.29007/xwrs}}
@inproceedings{ARCH15:Benchmark_Reachability_on_model,
author = {Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
title = {Benchmark: Reachability on a model with holes},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {31--36},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sPgl},
doi = {10.29007/cv59}}
@inproceedings{ARCH15:Networked_Cooperative_Platoon_of,
author = {Ibtissem Ben Makhlouf and Stefan Kowalewski},
title = {Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {37--42},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3QLs},
doi = {10.29007/zvkb}}
@inproceedings{ARCH15:Benchmark_problem_an_air,
author = {Luca Parolini and Simone Schuler and Adolfo Anta},
title = {Benchmark problem: an air brake model for trains},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {43--48},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4H},
doi = {10.29007/1bln}}
@inproceedings{ARCH15:Verifying_Properties_of_an,
author = {Thomas Strathmann and Jens Oehlerking},
title = {Verifying Properties of an Electro-Mechanical Braking System},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {49--56},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1ff2},
doi = {10.29007/x87p}}
@inproceedings{ARCH15:Benchmark_Quadrotor_Attitude_Control,
author = {A. E. C. Da Cunha},
title = {Benchmark: Quadrotor Attitude Control},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {57--72},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mwnd},
doi = {10.29007/dc68}}
@inproceedings{ARCH15:Benchmark_Generator_for_Stratified,
author = {Stanley Bak and Sergiy Bogomolov and Marius Greitschus and Taylor T Johnson},
title = {Benchmark Generator for Stratified Controllers of Tank Networks},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {73--79},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sjv},
doi = {10.29007/2ljt}}
@inproceedings{ARCH15:Industrial_Examples_of_Formal,
author = {Hendrik Roehm and Rainer Gmehlich and Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
title = {Industrial Examples of Formal Specifications for Test Case Generation},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {80--88},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4Xd},
doi = {10.29007/z9ph}}
@inproceedings{ARCH15:Benchmark_Nonlinear_Reachability_Analysis,
author = {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T Johnson},
title = {Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {89--97},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/714m},
doi = {10.29007/6dcf}}
@inproceedings{ARCH15:Piecewise_Affine_Approximations_for_Powertrain,
author = {Jyotirmoy Deshmukh and Hisahiro Ito and Xiaoqing Jin and James Kapinski and Ken Butts and Juergen Gerhard and Behzad Samadi and Kevin Walker and Yuzhen Xie},
title = {Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {98--112},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vgJJ},
doi = {10.29007/w3x7}}
@inproceedings{ARCH15:Using_S_TaLiRo_on_Industrial,
author = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos},
title = {Using S-TaLiRo on Industrial Size Automotive Models},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {113--119},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/r8gZ},
doi = {10.29007/kwp3}}
@inproceedings{ARCH15:An_Introduction_to_CORA,
author = {Matthias Althoff},
title = {An Introduction to CORA 2015},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {120--151},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xMm},
doi = {10.29007/zbkv}}
@inproceedings{ARCH15:Flow_star_1.2_More_Effective,
author = {Xin Chen and Sriram Sankaranarayanan and Erika Abraham},
title = {Flow* 1.2: More Effective to Play with Hybrid Systems},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {152--159},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/QrVj},
doi = {10.29007/1w4t}}
@inproceedings{ARCH15:BluSTL_Controller_Synthesis_from,
author = {Alexandre Donz\textbackslash{}'e and Vasumathi Raman},
title = {BluSTL: Controller Synthesis from Signal Temporal Logic Specifications},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {160--168},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/9cVk},
doi = {10.29007/g39q}}
@inproceedings{ARCH15:Optimizing_Safe_Control_of,
author = {Ibtissem Ben Makhlouf and Stefan Kowalewski},
title = {Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {169--179},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kSR9},
doi = {10.29007/kxk7}}
@inproceedings{ARCH15:Tool_Presentation_Isabelle_HOL_for,
author = {Fabian Immler},
title = {Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {180--187},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nVRl},
doi = {10.29007/b3wr}}
@inproceedings{ARCH15:SMT_Encoding_of_Hybrid,
author = {Kyungmin Bae and Soonho Kong and Sicun Gao},
title = {SMT Encoding of Hybrid Systems in dReal},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {188--195},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4Qr},
doi = {10.29007/s3b9}}
@inproceedings{ARCH15:Running_SpaceEx_on_ARCH14,
author = {Stefano Minopoli and Goran Frehse},
title = {Running SpaceEx on the ARCH14 Benchmarks},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {196--206},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bX},
doi = {10.29007/m1cd}}
@inproceedings{ARCH15:Progress_on_Powertrain_Verification,
author = {Chuchu Fan and Parasara Sridhar Duggirala and Sayan Mitra and Mahesh Viswanathan},
title = {Progress on Powertrain Verification Challenge with C2E2},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {34},
pages = {207--212},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/LS},
doi = {10.29007/1kq2}}