Volume
@proceedings{ARCH16,
title = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{ARCH16:Nonlinear_Hybrid_Automata_Model,
author = {Houssam Abbas and Kuk Jin Jang and Rahul Mangharam},
title = {Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {1--8},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kvt},
doi = {10.29007/5zfk}}
@inproceedings{ARCH16:Hybrid_Automata_Model_of,
author = {Sidharta Andalam and Avinash Malik and Partha Roop and Mark Trew},
title = {Hybrid Automata Model of the Heart for Formal Verification of Pacemakers},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {9--17},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7Sj},
doi = {10.29007/822m}}
@inproceedings{ARCH16:Hybrid_Modelling_of_Wind,
author = {Simone Schuler and Fabiano Daher Adegas and Adolfo Anta},
title = {Hybrid Modelling of a Wind Turbine},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {18--26},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2k},
doi = {10.29007/tf1p}}
@inproceedings{ARCH16:Charge_Pump_Phase_Locked_Loops,
author = {Omar Beg and Ali Davoudi and Taylor T Johnson},
title = {Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {27--35},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TC},
doi = {10.29007/x211}}
@inproceedings{ARCH16:Verification_of_Fault_Tolerant_Clock,
author = {Sergiy Bogomolov and Christian Herrera and Wilfried Steiner},
title = {Verification of Fault-Tolerant Clock Synchronization Algorithms},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {36--41},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fdQv},
doi = {10.29007/hq8s}}
@inproceedings{ARCH16:Non_linear_Continuous_Systems_for,
author = {Andrew Sogokon and Khalil Ghorbal and Taylor T Johnson},
title = {Non-linear Continuous Systems for Safety Verification},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {42--51},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zr5C},
doi = {10.29007/w94n}}
@inproceedings{ARCH16:Chains_of_Integrators_as,
author = {Scott Livingston and Vasumathi Raman},
title = {Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {52--59},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sr2t},
doi = {10.29007/sqlx}}
@inproceedings{ARCH16:Large_Scale_Linear_Systems_from,
author = {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T Johnson},
title = {Large-Scale Linear Systems from Order-Reduction},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {60--67},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2xZ},
doi = {10.29007/xk7x}}
@inproceedings{ARCH16:HyReach_Reachability_Tool_for,
author = {Ibtissem Ben Makhlouf and Norman Hansen and Stefan Kowalewski},
title = {HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {68--79},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lH4},
doi = {10.29007/7ncn}}
@inproceedings{ARCH16:High_level_Hybrid_Systems_Analysis,
author = {Stanley Bak and Sergiy Bogomolov and Christian Schilling},
title = {High-level Hybrid Systems Analysis with Hypy},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {80--90},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wgk},
doi = {10.29007/4f3d}}
@inproceedings{ARCH16:Implementation_of_Interval_Arithmetic,
author = {Matthias Althoff and Dmitry Grebenyuk},
title = {Implementation of Interval Arithmetic in CORA 2016},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {91--105},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZRJ},
doi = {10.29007/w19b}}
@inproceedings{ARCH16:formalSpec__Semi_Automatic_Formalization,
author = {Axel Busboom and Simone Schuler and Alexander Walsch},
title = {formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {106--114},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PMz},
doi = {10.29007/k567}}
@inproceedings{ARCH16:Verifying_PI_Controller_using,
author = {Eike M\textbackslash{}"ohlmann and Willem Hagemann and Astrid Rakow},
title = {Verifying a PI Controller using SoapBox and Stabhyli},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {115--125},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/V8rV},
doi = {10.29007/h9hb}}
@inproceedings{ARCH16:SMT_Based_CPS_Parameter_Synthesis,
author = {Heinz Riener and Robert Koenighofer and Goerschwin Fey and Roderick Bloem},
title = {SMT-Based CPS Parameter Synthesis},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {126--133},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1fL},
doi = {10.29007/msr8}}
@inproceedings{ARCH16:Semidefinite_Programming_Approach_to,
author = {Dalibor Drzajic and Nikolaos Kariotoglou and Maryam Kamgarpour and John Lygeros},
title = {A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems},
booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {43},
pages = {134--143},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MTm},
doi = {10.29007/fqg6}}
