default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ARCH 2017: Pittsburgh, PA, USA
- Goran Frehse, Matthias Althoff:
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. EPiC Series in Computing 48, EasyChair 2017 - Sebastian A. Scherer:
Challenges for Safe Autonomous Flight. 1 - Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom
, Maria Prandini:
A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees. 2-19 - Nicole Chan, Sayan Mitra:
Verifying safety of an autonomous spacecraft rendezvous mission. 20-32 - Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson:
Distributed Autonomous Systems. 33-43 - Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam:
An Autonomous Vehicle Control Stack. 44-51 - Omar Beg, Ali Davoudi, Taylor T. Johnson:
Reachability Analysis of Transformer-Isolated DC-DC Converters. 52-64 - Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Benchmark for Component-based Hybrid Systems Safety Verification. 65-74 - Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan:
Formal Verification of a Multi-Basal Insulin Infusion Control Model. 75-91 - Christof J. Budnik, Sebastian Eckl, Marco Gario:
Testbed for Model-based Verification of Cyber-physical Production Systems. 92-99 - Nikolaos Kekatos, Marcelo Forets, Goran Frehse:
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. 100-113 - Stanley Bak, Parasara Sridhar Duggirala:
Direct Verification of Linear Systems with over 10000 Dimensions. 114-123 - Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. 124-133 - Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. 134-142 - 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. 143-159 - Xin Chen, Matthias Althoff, Fabian Immler:
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. 160-169 - Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos:
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. 170-174 - Taylor T. Johnson:
ARCH-COMP17 Repeatability Evaluation Report. 175-180
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
