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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kvt},
doi = {10.29007/5zfk},
pages = {1-8},
year = {2017}}
@inproceedings{ARCH16:Hybrid_Automata_Model_Heart,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7Sj},
doi = {10.29007/822m},
pages = {9-17},
year = {2017}}
@inproceedings{ARCH16:Hybrid_Modelling_Wind_Turbine,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2k},
doi = {10.29007/tf1p},
pages = {18-26},
year = {2017}}
@inproceedings{ARCH16:Charge_Pump_Phase_Locked,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TC},
doi = {10.29007/x211},
pages = {27-35},
year = {2017}}
@inproceedings{ARCH16:Verification_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fdQv},
doi = {10.29007/hq8s},
pages = {36-41},
year = {2017}}
@inproceedings{ARCH16:Non_linear_Continuous_Systems,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zr5C},
doi = {10.29007/w94n},
pages = {42-51},
year = {2017}}
@inproceedings{ARCH16:Chains_Integrators_as_Benchmark,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sr2t},
doi = {10.29007/sqlx},
pages = {52-59},
year = {2017}}
@inproceedings{ARCH16:Large_Scale_Linear_Systems,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2xZ},
doi = {10.29007/xk7x},
pages = {60-67},
year = {2017}}
@inproceedings{ARCH16:HyReach_Reachability_Tool_Linear,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lH4},
doi = {10.29007/7ncn},
pages = {68-79},
year = {2017}}
@inproceedings{ARCH16:High_level_Hybrid_Systems,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wgk},
doi = {10.29007/4f3d},
pages = {80-90},
year = {2017}}
@inproceedings{ARCH16:Implementation_Interval_Arithmetic_CORA,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZRJ},
doi = {10.29007/w19b},
pages = {91-105},
year = {2017}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PMz},
doi = {10.29007/k567},
pages = {106-114},
year = {2017}}
@inproceedings{ARCH16:Verifying_PI_Controller_using,
author = {Eike Möhlmann 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/V8rV},
doi = {10.29007/h9hb},
pages = {115-125},
year = {2017}}
@inproceedings{ARCH16:SMT_Based_CPS_Parameter,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1fL},
doi = {10.29007/msr8},
pages = {126-133},
year = {2017}}
@inproceedings{ARCH16:Semidefinite_Programming_Approach_Control,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MTm},
doi = {10.29007/fqg6},
pages = {134-143},
year = {2017}}