ARCH16:BibTeX Entries

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, http://www.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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}