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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
Papers
@inproceedings{ARCH17:Challenges_Safe_Autonomous_Flight,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TGz},
doi = {10.29007/qlsr},
pages = {1},
year = {2017}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RN8},
doi = {10.29007/5qvt},
pages = {2-19},
year = {2017}}
@inproceedings{ARCH17:Verifying_safety_autonomous_spacecraft,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/S2V},
doi = {10.29007/thb4},
pages = {20-32},
year = {2017}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vDd},
doi = {10.29007/slz2},
pages = {33-43},
year = {2017}}
@inproceedings{ARCH17:Autonomous_Vehicle_Control_Stack,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fh2m},
doi = {10.29007/r5n9},
pages = {44-51},
year = {2017}}
@inproceedings{ARCH17:Reachability_Analysis_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/F5},
doi = {10.29007/8xk7},
pages = {52-64},
year = {2017}}
@inproceedings{ARCH17:Benchmark_Component_based_Hybrid,
author = {Andreas Müller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and André 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DgT4},
doi = {10.29007/9jm3},
pages = {65-74},
year = {2017}}
@inproceedings{ARCH17:Formal_Verification_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1BWk},
doi = {10.29007/kcrp},
pages = {75-91},
year = {2017}}
@inproceedings{ARCH17:Testbed_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cssx},
doi = {10.29007/92bd},
pages = {92-99},
year = {2017}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/V4},
doi = {10.29007/s3mq},
pages = {100-113},
year = {2017}}
@inproceedings{ARCH17:Direct_Verification_Linear_Systems,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bDRk},
doi = {10.29007/dwj1},
pages = {114-123},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4Xw},
doi = {10.29007/n3km},
pages = {124-133},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3mv},
doi = {10.29007/rvk6},
pages = {134-142},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/X6},
doi = {10.29007/4dcn},
pages = {143-159},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sr6},
doi = {10.29007/v6g4},
pages = {160-169},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/HxQ},
doi = {10.29007/wmf5},
pages = {170-174},
year = {2017}}
@inproceedings{ARCH17:ARCH_COMP17_Repeatability_Evaluation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nMvb},
doi = {10.29007/7hvk},
pages = {175-180},
year = {2017}}
