ARCH17:BibTeX Entries

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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nMvb},
  doi       = {10.29007/7hvk}}