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},
  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}}