default search action
21st HSCC 2018: Porto, Portugal
- Maria Prandini, Jyotirmoy V. Deshmukh:
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. ACM 2018
Stochastic Systems
- Abraham P. Vinod, Meeko M. K. Oishi
:
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. 1-10 - Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. 11-20 - Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. 21-30 - Daniel Gburek, Christel Baier
Bisimulations, logics, and trace distributions for stochastic systems with rewards. 31-40
Reachability
- Sergiy Bogomolov
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. 41-50 - Bai Xue, Martin Fränzle, Naijun Zhan:
Under-Approximating Reach Sets for Polynomial Continuous Systems. 51-60 - Matthias Rungger, Majid Zamani:
Accurate reachability analysis of uncertain nonlinear systems. 61-70
Timed Systems
- Neda Saeedloei, Feliks Kluzniak:
Clock Allocation in Timed Automata and Graph Colouring. 71-80 - Jie An
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. 81-90 - Maximilian Gaukler, Andreas Michalka, Peter Ulbrich
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. 91-100
Stabilization and Control Design
- Atreyee Kundu:
Stabilizing switched nonlinear systems under restricted switching. 101-110 - Anton V. Proskurnikov
Lyapunov Design for Event-Triggered Exponential Stabilization. 111-119 - Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. 120-129 - Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. 130-135
Compositional Methods
- Antoine Girard:
Compositional Synthesis for Symbolic Control. 136 - Eric S. Kim, Murat Arcak
Constructing Control System Abstractions from Modular Components. 137-146
Data-driven Design
- Sadra Sadraddini, Calin Belta:
Formal Guarantees in Data-Driven Model Identification and Control Synthesis. 147-156 - Pier Giuseppe Sessa, Damian Frick
From Uncertainty Data to Robust Policies for Temporal Logic Planning. 157-166
Temporal Logic and its Applications
- Dogan Ulus
Specifying Timed Patterns using Temporal Logic. 167-176 - Alexey Bakhirkin, Thomas Ferrère, Oded Maler:
Efficient Parametric Identification for STL. 177-186 - Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Parameter Invariant Monitoring for Signal Temporal Logic. 187-196 - Ezio Bartocci
Localizing Faults in Simulink/Stateflow Models with STL. 197-206
Algorithms and Foundations
- Michele Boreale
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. 207-216 - Hussein Sibai
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. 217-226 - Benjamin Martin, Olivier Mullier:
Improving validated computation of Viability Kernels. 227-236
Modeling and Verification
- Li Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson
Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. 237-246 - Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang:
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. 247-252 - Lennon C. Chaves
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. 253-258 - Miriam Garcia Soto
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. 259-264
Abstracts for Demos and Posters
- Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. 265-266 - Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang:
Graphical Hybrid Automata with Simulink and Stateflow. 267-268 - Bolun Qi, Chuchu Fan
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. 269-270 - Vladimir Sinyakov, Antoine Girard:
Formal Controller Synthesis from Hybrid Programs. 271-272 - Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. 273-274 - Abdalla Swikir
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. 275-276 - Adnane Saoud, Antoine Girard, Laurent Fribourg:
Contract based Design of Symbolic Controllers for Vehicle Platooning. 277-278 - Hussein Sibai
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. 279-280 - Nicole Chan, Sayan Mitra
CODEV: Automated Model Predictive Control Design and Formal Verification. 281-282 - Cumhur Erkan Tuncali, Georgios Fainekos
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. 283-284 - Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani:
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. 285-286
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-12-22 19:07 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: