Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. HSCC 2016: Vienna, Austria
- Alessandro Abate, Georgios Fainekos:
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM 2016, ISBN 978-1-4503-3955-1
Temporal Logic Applications
- Giuseppe Bombara, Cristian Ioan Vasile
, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta:
A Decision Tree Approach to Data Classification using Signal Temporal Logic. 1-10 - Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. 11-20 - Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. 21-30 - Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. 31-40
Analysis of Switched Systems
- Nikolaos Athanasopoulos, Raphaël M. Jungers:
Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints. 41-50 - Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo:
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. 51-60 - Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed:
A Topological Method for Finding Invariant Sets of Switched Systems. 61-70 - Pavithra Prabhakar, Miriam Garcia Soto:
Hybridization for Stability Analysis of Switched Linear Systems. 71-80
Case Studies and Tool Papers
- Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu:
Case Studies in Data-Driven Verification of Dynamical Systems. 81-86 - Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Towards Model Checking of Implantable Cardioverter Defibrillators. 87-92 - Stefano Minopoli, Goran Frehse:
SL2SX Translator: From Simulink to SpaceEx Models. 93-98 - Matthias Rungger, Majid Zamani:
SCOTS: A Tool for the Synthesis of Symbolic Controllers. 99-104
Safety and Stability Analysis
- Siyuan Dai, Xenofon D. Koutsoukos:
Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems. 105-114 - Mohammad Al Khatib, Antoine Girard, Thao Dang:
Verification and Synthesis of Timing Contracts for Embedded Controllers. 115-124 - Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron:
Formal Analysis of Robustness at Model and Code Level. 125-134
Methods for Reachability Analysis
- Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. 135-144 - Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. 145-154 - Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash:
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. 155-164
Time- and Event-based Models
- Mikhail Vilgelm, Mohammad H. Mamduhi, Wolfgang Kellerer, Sandra Hirche:
Adaptive Decentralized MAC for Event-Triggered Networked Control Systems. 165-174 - Tobias Noesselt, Matthias Schultalbers, Jan Lunze:
Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems. 175-184 - Heejin Ahn, Domitilla Del Vecchio:
Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling. 185-194 - Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. 195-204
Control Synthesis
- Petter Nilsson, Necmiye Ozay:
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. 205-214 - Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis with Parametric Reactive Controllers. 215-224 - Jonathan A. DeCastro, Hadas Kress-Gazit:
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. 225-234 - Ricardo G. Sanfelice:
Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions. 235-244
Invited Speaker
- Sandra Hirche:
Optimal Co-Design of Scheduling and Control for Networked Systems. 245
Models with Uncertainty
- Daniel Liberzon, Sayan Mitra:
Entropy and Minimal Data Rates for State Estimation and Model Detection. 247-256 - Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman:
Safety Verification of Piecewise-Deterministic Markov Processes. 257-266
Reachability Computation
- Rupak Majumdar, Vinayak S. Prabhu:
Computing Distances between Reach Flowpipes. 267-276 - Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Reachset Conformance Testing of Hybrid Automata. 277-286 - Stefano Minopoli, Goran Frehse:
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. 287-296 - Tommaso Dreossi, Thao Dang, Carla Piazza:
Parallelotope Bundles for Polynomial Reachability. 297-306
a service of 
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-04-18 21:23 CEST 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:
