Volume
@proceedings{ARCH17,
title = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{ARCH17:Challenges_for_Safe_Autonomous,
author = {Sebastian Scherer},
title = {Challenges for Safe Autonomous Flight},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {1},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TGz},
doi = {10.29007/qlsr}}
@inproceedings{ARCH17:Smart_Grid_Energy_Management,
author = {Daniele Ioli and Alessandro Falsone and Marianne Hartung and Axel Busboom and Maria Prandini},
title = {A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {2--19},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RN8},
doi = {10.29007/5qvt}}
@inproceedings{ARCH17:Verifying_safety_of_an,
author = {Nicole Chan and Sayan Mitra},
title = {Verifying safety of an autonomous spacecraft rendezvous mission},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {20--32},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/S2V},
doi = {10.29007/thb4}}
@inproceedings{ARCH17:Distributed_Autonomous_Systems,
author = {Hoang-Dung Tran and Luan Viet Nguyen and Weiming Xiang and Taylor T. Johnson},
title = {Distributed Autonomous Systems},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {33--43},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vDd},
doi = {10.29007/slz2}}
@inproceedings{ARCH17:An_Autonomous_Vehicle_Control,
author = {Alena Rodionova and Matthew O'Kelly and Houssam Abbas and Vincent Pacelli and Rahul Mangharam},
title = {An Autonomous Vehicle Control Stack},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {44--51},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fh2m},
doi = {10.29007/r5n9}}
@inproceedings{ARCH17:Reachability_Analysis_of_Transformer_Isolated,
author = {Omar Beg and Ali Davoudi and Taylor T. Johnson},
title = {Reachability Analysis of Transformer-Isolated DC-DC Converters},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {52--64},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/F5},
doi = {10.29007/8xk7}}
@inproceedings{ARCH17:Benchmark_for_Component_based_Hybrid,
author = {Andreas M\textbackslash{}"uller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr\textbackslash{}'e Platzer},
title = {A Benchmark for Component-based Hybrid Systems Safety Verification},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {65--74},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/DgT4},
doi = {10.29007/9jm3}}
@inproceedings{ARCH17:Formal_Verification_of_Multi_Basal,
author = {Xin Chen and Souradeep Dutta and Sriram Sankaranarayanan},
title = {Formal Verification of a Multi-Basal Insulin Infusion Control Model},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {75--91},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1BWk},
doi = {10.29007/kcrp}}
@inproceedings{ARCH17:Testbed_for_Model_based_Verification,
author = {Christof J. Budnik and Sebastian Eckl and Marco Gario},
title = {Testbed for Model-based Verification of Cyber-physical Production Systems},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {92--99},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/cssx},
doi = {10.29007/92bd}}
@inproceedings{ARCH17:Modeling_Wind_Turbine_Benchmark,
author = {Nikolaos Kekatos and Marcelo Forets and Goran Frehse},
title = {Modeling the Wind Turbine Benchmark with PWA Hybrid Automata},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {100--113},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/V4},
doi = {10.29007/s3mq}}
@inproceedings{ARCH17:Direct_Verification_of_Linear,
author = {Stanley Bak and Parasara Sridhar Duggirala},
title = {Direct Verification of Linear Systems with over 10000 Dimensions},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {114--123},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bDRk},
doi = {10.29007/dwj1}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report_Hybrid,
author = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Lei Bu and Mirco Giacobbe},
title = {ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {124--133},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4Xw},
doi = {10.29007/n3km}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report_Bounded,
author = {Lei Bu and Rajarshi Ray and Stefan Schupp},
title = {ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {134--142},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3mv},
doi = {10.29007/rvk6}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report_Continuous,
author = {Matthias Althoff and Stanley Bak and Dario Cattaruzza and Xin Chen and Goran Frehse and Rajarshi Ray and Stefan Schupp},
title = {ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {143--159},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/X6},
doi = {10.29007/4dcn}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report_Continuous,
author = {Xin Chen and Matthias Althoff and Fabian Immler},
title = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {160--169},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sr6},
doi = {10.29007/v6g4}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report_Preliminary,
author = {Adel Dokhanchi and Shakiba Yaghoubi and Bardh Hoxha and Georgios Fainekos},
title = {ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {170--174},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HxQ},
doi = {10.29007/wmf5}}
@inproceedings{ARCH17:ARCH_COMP17_Repeatability_Evaluation_Report,
author = {Taylor T. Johnson},
title = {ARCH-COMP17 Repeatability Evaluation Report},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {48},
pages = {175--180},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nMvb},
doi = {10.29007/7hvk}}