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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/R8kX},
doi = {10.29007/8drm},
pages = {1-8},
year = {2015}}
@inproceedings{ARCH15:Motor_Transmission_Drive_System,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cwl},
doi = {10.29007/ct87},
pages = {9-18},
year = {2015}}
@inproceedings{ARCH15:Benchmark_DC_DC_Switched,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/swLb},
doi = {10.29007/23pm},
pages = {19-24},
year = {2015}}
@inproceedings{ARCH15:Benchmarks_Temporal_Logic_Requirements,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4bfq},
doi = {10.29007/xwrs},
pages = {25-30},
year = {2015}}
@inproceedings{ARCH15:Benchmark_Reachability_model_with,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sPgl},
doi = {10.29007/cv59},
pages = {31-36},
year = {2015}}
@inproceedings{ARCH15:Networked_Cooperative_Platoon_Vehicles,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3QLs},
doi = {10.29007/zvkb},
pages = {37-42},
year = {2015}}
@inproceedings{ARCH15:Benchmark_problem_air_brake,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4H},
doi = {10.29007/1bln},
pages = {43-48},
year = {2015}}
@inproceedings{ARCH15:Verifying_Properties_Electro_Mechanical,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1ff2},
doi = {10.29007/x87p},
pages = {49-56},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mwnd},
doi = {10.29007/dc68},
pages = {57-72},
year = {2015}}
@inproceedings{ARCH15:Benchmark_Generator_Stratified_Controllers,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sjv},
doi = {10.29007/2ljt},
pages = {73-79},
year = {2015}}
@inproceedings{ARCH15:Industrial_Examples_Formal_Specifications,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4Xd},
doi = {10.29007/z9ph},
pages = {80-88},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/714m},
doi = {10.29007/6dcf},
pages = {89-97},
year = {2015}}
@inproceedings{ARCH15:Piecewise_Affine_Approximations_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vgJJ},
doi = {10.29007/w3x7},
pages = {98-112},
year = {2015}}
@inproceedings{ARCH15:Using_S_TaLiRo_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/r8gZ},
doi = {10.29007/kwp3},
pages = {113-119},
year = {2015}}
@inproceedings{ARCH15:Introduction_CORA_2015,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xMm},
doi = {10.29007/zbkv},
pages = {120-151},
year = {2015}}
@inproceedings{ARCH15:Flow*_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QrVj},
doi = {10.29007/1w4t},
pages = {152-159},
year = {2015}}
@inproceedings{ARCH15:BluSTL_Controller_Synthesis_from,
author = {Alexandre Donzé 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9cVk},
doi = {10.29007/g39q},
pages = {160-168},
year = {2015}}
@inproceedings{ARCH15:Optimizing_Safe_Control_Networked,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kSR9},
doi = {10.29007/kxk7},
pages = {169-179},
year = {2015}}
@inproceedings{ARCH15:Tool_Presentation_Isabelle/HOL_Reachability,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nVRl},
doi = {10.29007/b3wr},
pages = {180-187},
year = {2015}}
@inproceedings{ARCH15:SMT_Encoding_Hybrid_Systems,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4Qr},
doi = {10.29007/s3b9},
pages = {188-195},
year = {2015}}
@inproceedings{ARCH15:Running_SpaceEx_ARCH14_Benchmarks,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bX},
doi = {10.29007/m1cd},
pages = {196-206},
year = {2015}}
@inproceedings{ARCH15:Progress_Powertrain_Verification_Challenge,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/LS},
doi = {10.29007/1kq2},
pages = {207-212},
year = {2015}}
