default search action

combined dblp search
author search
venue search
publication search

ask others

19. HSCC 2016: Vienna, Austria

> Home > Conferences and Workshops > HSCC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/2016
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

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BombaraVPYB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BombaraVPYB16
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta:
A Decision Tree Approach to Data Classification using Signal Temporal Logic. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RodionovaBNG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RodionovaBNG16
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KimAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KimAS16
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhoshSNRDSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16
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

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AthanasopoulosJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AthanasopoulosJ16
Nikolaos Athanasopoulos, Raphaël M. Jungers:
Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LegatJP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LegatJP16
Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo:
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. 51-60
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FribourgGPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FribourgGPM16
Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed:
A Topological Method for Finding Invariant Sets of Switched Systems. 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/PrabhakarS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/PrabhakarS16
Pavithra Prabhakar, Miriam Garcia Soto:
Hybridization for Stability Analysis of Switched Linear Systems. 71-80

Case Studies and Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KozarevQHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KozarevQHT16
Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu:
Case Studies in Data-Driven Verification of Dynamical Systems. 81-86
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AbbasJJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AbbasJJM16
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Towards Model Checking of Implantable Cardioverter Defibrillators. 87-92
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MinopoliF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MinopoliF16
Stefano Minopoli, Goran Frehse:
SL2SX Translator: From Simulink to SpaceEx Models. 93-98
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RunggerZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RunggerZ16
Matthias Rungger, Majid Zamani:
SCOTS: A Tool for the Synthesis of Symbolic Controllers. 99-104

Safety and Stability Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DaiK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DaiK16
Siyuan Dai, Xenofon D. Koutsoukos:
Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems. 105-114
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KhatibGD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KhatibGD16
Mohammad Al Khatib, Antoine Girard, Thao Dang:
Verification and Synthesis of Timing Contracts for Embedded Controllers. 115-124
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WangGRJF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WangGRJF16
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

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/0001SDJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/0001SDJ16
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. 135-144
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BaeOKGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BaeOKGC16
Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. 145-154
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BakBHJP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BakBHJP16
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

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/VilgelmMKH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/VilgelmMKH16
Mikhail Vilgelm, Mohammad H. Mamduhi, Wolfgang Kellerer, Sandra Hirche:
Adaptive Decentralized MAC for Event-Triggered Networked Control Systems. 165-174
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NoesseltSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NoesseltSL16
Tobias Noesselt, Matthias Schultalbers, Jan Lunze:
Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems. 175-184
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AhnV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AhnV16
Heejin Ahn, Domitilla Del Vecchio:
Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling. 185-194
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BarbotKMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BarbotKMP16
Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. 195-204

Control Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NilssonO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NilssonO16
Petter Nilsson, Necmiye Ozay:
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. 205-214
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlurMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlurMT16
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis with Parametric Reactive Controllers. 215-224
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DeCastroK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DeCastroK16
Jonathan A. DeCastro, Hadas Kress-Gazit:
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. 225-234
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Sanfelice16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Sanfelice16
Ricardo G. Sanfelice:
Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions. 235-244

Invited Speaker

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Hirche16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Hirche16
Sandra Hirche:
Optimal Co-Design of Scheduling and Control for Networked Systems. 245

Models with Uncertainty

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LiberzonM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LiberzonM16
Daniel Liberzon, Sayan Mitra:
Entropy and Minimal Data Rates for State Estimation and Model Detection. 247-256
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WisniewskiSBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WisniewskiSBP16
Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman:
Safety Verification of Piecewise-Deterministic Markov Processes. 257-266

Reachability Computation

- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarP16
Rupak Majumdar, Vinayak S. Prabhu:
Computing Distances between Reach Flowpipes. 267-276
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RoehmOWA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RoehmOWA16
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Reachset Conformance Testing of Hybrid Automata. 277-286
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MinopoliF16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MinopoliF16a
Stefano Minopoli, Goran Frehse:
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. 287-296
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/DreossiDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/DreossiDP16
Tommaso Dreossi, Thao Dang, Carla Piazza:
Parallelotope Bundles for Polynomial Reachability. 297-306

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.