|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 57 publication records. Showing 57 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xin Chen 0002, Matthias Althoff, Fabian Immler |
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics.  |
ARCH@CPSWeek  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe |
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam |
An Autonomous Vehicle Control Stack. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Beg, Ali Davoudi, Taylor T. Johnson |
Reachability Analysis of Transformer-Isolated DC-DC Converters. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Parasara Sridhar Duggirala |
Direct Verification of Linear Systems with over 10000 Dimensions. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Matthias Althoff (eds.) |
ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria |
ARCH@CPSWeek |
2017 |
DBLP BibTeX RDF |
|
| 1 | Taylor T. Johnson |
ARCH-COMP17 Repeatability Evaluation Report. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Chen 0002, Souradeep Dutta, Sriram Sankaranarayanan 0001 |
Formal Verification of a Multi-Basal Insulin Infusion Control Model. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray 0001, Stefan Schupp |
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 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. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian A. Scherer |
Challenges for Safe Autonomous Flight. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer |
A Benchmark for Component-based Hybrid Systems Safety Verification. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Chan, Sayan Mitra |
Verifying safety of an autonomous spacecraft rendezvous mission. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Kekatos, Marcelo Forets, Goran Frehse |
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof J. Budnik, Sebastian Eckl, Marco Gario |
Testbed for Model-based Verification of Cyber-physical Production Systems. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Rajarshi Ray 0001, Stefan Schupp |
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Matthias Althoff (eds.) |
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 |
2017 |
DBLP BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang 0001, Taylor T. Johnson |
Distributed Autonomous Systems. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos |
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. |
ARCH@CPSWeek |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Beg, Ali Davoudi, Taylor T. Johnson |
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Schuler, Fabiano Daher Adegas, Adolfo Anta |
Hybrid Modelling of a Wind Turbine. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Christian Herrera, Wilfried Steiner |
Verification of Fault-Tolerant Clock Synchronization Algorithms. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew |
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott C. Livingston, Vasumathi Raman |
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski |
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
Non-linear Continuous Systems for Safety Verification. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Dmitry Grebenyuk |
Implementation of Interval Arithmetic in CORA 2016. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Christian Schilling 0001 |
High-level Hybrid Systems Analysis with Hypy. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson |
Large-Scale Linear Systems from Order-Reduction. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Möhlmann, Willem Hagemann, Astrid Rakow |
Verifying a PI Controller using SoapBox and Stabhyli. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalibor Drzajic, Nikolaos Kariotoglou, Maryam Kamgarpour, John Lygeros |
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Kuk Jin Jang, Rahul Mangharam |
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem |
SMT-Based CPS Parameter Synthesis. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Busboom, Simone Schuler, Alexander Walsch |
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie |
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff |
An Introduction to CORA 2015. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson |
Benchmark Generator for Stratified Controllers of Tank Networks. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Eduardo Carrilho da Cunha |
Benchmark: Quadrotor Attitude Control. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Strathmann, Jens Oehlerking |
Verifying Properties of an Electro-Mechanical Braking System. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé, Vasumathi Raman |
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Minopoli, Goran Frehse |
Running SpaceEx on the ARCH14 Benchmarks. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Matthias Althoff (eds.) |
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 |
2015 |
DBLP BibTeX RDF |
|
| 1 | Fabian Immler |
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Parolini, Simone Schuler, Adolfo Anta |
Benchmark problem: an air brake model for trains. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 |
Progress on Powertrain Verification Challenge with C2E2. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Chen 0002, Sriram Sankaranarayanan 0001, Erika Ábrahám |
Flow* 1.2: More Effective to Play with Hybrid Systems. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson |
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Soonho Kong, Sicun Gao |
SMT Encoding of Hybrid Systems in dReal. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Roehm, Rainer Gmehlich, Thomas Heinz 0001, Jens Oehlerking, Matthias Woehrle |
Industrial Examples of Formal Specifications for Test Case Generation. |
ARCH@CPSWeek |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongxu Chen, Sayan Mitra, Guangyu Tian |
Motor-Transmission Drive System: a Benchmark Example for Safety Verification. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibtissem Ben Makhlouf, Stefan Kowalewski |
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Taylor T. Johnson |
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Gan, Guy Albert Dumont, Ian Mitchell 0001 |
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibtissem Ben Makhlouf, Stefan Kowalewski |
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bardh Hoxha, Houssam Abbas, Georgios Fainekos |
Benchmarks for Temporal Logic Requirements for Automotive Systems. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bardh Hoxha, Houssam Abbas, Georgios Fainekos |
Using S-TaLiRo on Industrial Size AuImmlertomotive Models. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Heinz 0001, Jens Oehlerking, Matthias Woehrle |
Benchmark: Reachability on a model with holes. |
ARCH@CPSWeek |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #57 of 57 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license