![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.