EasyChair Publications
Search
ARCH16 BibTeX Entries
Volume:Goran Frehse and Matthias Althoff (editors)
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

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_of_Excitable_Cardiac_Tissue,
  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_the_Heart_for_Formal_Verification_of_Pacemakers,
  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_a_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},
  pages     = {18-26},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

@inproceedings{ARCH16:Charge_Pump_Phase-Locked_Loops_and_Full_Wave_Rectifiers_for_Reachability_Analysis,
  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_Synchronization_Algorithms,
  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_Safety_Verification,
  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_a_Benchmark_for_Scalability_of_Hybrid_Control_Synthesis,
  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_Order-Reduction,
  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_A_Reachability_Tool_for_Linear_Hybrid_Systems_Based_on_Support_Functions,
  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_with_Hypy,
  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_in_CORA_2016,
  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_of_System_Requirements_for_Formal_Verification,
  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_a_PI_Controller_using_SoapBox_and_Stabhyli,
  author    = {Eike M\verb=\="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:A_Semidefinite_Programming_Approach_to_Control_Synthesis_for_Stochastic_Reach-Avoid_Problems,
  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}}