ARCH@CPSWeek

Keyphrases

Publications

2017

Nikolaos Kekatos, Marcelo Forets, Goran Frehse
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. ARCH@CPSWeek (2017)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek (2017)
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek (2017)
Xin Chen, Matthias Althoff, Fabian Immler
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. ARCH@CPSWeek (2017)
Nicole Chan, Sayan Mitra
Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek (2017)
Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek (2017)
Stanley Bak, Parasara Sridhar Duggirala
Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek (2017)
Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
An Autonomous Vehicle Control Stack. ARCH@CPSWeek (2017)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Omar Beg, Ali Davoudi, Taylor T. Johnson
Reachability Analysis of Transformer-Isolated DC-DC Converters. ARCH@CPSWeek (2017)
Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom, Maria Prandini
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees. ARCH@CPSWeek (2017)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Distributed Autonomous Systems. ARCH@CPSWeek (2017)
Sebastian A. Scherer
Challenges for Safe Autonomous Flight. ARCH@CPSWeek (2017)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Taylor T. Johnson
ARCH-COMP17 Repeatability Evaluation Report. ARCH@CPSWeek (2017)
Christof J. Budnik, Sebastian Eckl, Marco Gario
Testbed for Model-based Verification of Cyber-physical Production Systems. ARCH@CPSWeek (2017)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek (2017)

volume 48, 2017

ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA ARCH@CPSWeek 48 (2017)

volume 43, 2017

ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria ARCH@CPSWeek 43 (2017)

2016

2015

volume 34, 2015

1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. ARCH@CPSWeek 34 (2015)

2014

Hongxu Chen, Sayan Mitra, Guangyu Tian
Motor-Transmission Drive System: a Benchmark Example for Safety Verification. ARCH@CPSWeek (2014)