| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tobia Marcucci, Russ Tedrake |
Mixed-integer formulations for optimal control of piecewise-affine systems.  |
HSCC  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray 0001 |
Falsification of hybrid systems using symbolic reachability and trajectory splicing. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guosong Yang, João P. Hespanha 0001, Daniel Liberzon |
On topological entropy and stability of switched linear systems. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Souradeep Dutta, Xin Chen 0002, Susmit Jha, Sriram Sankaranarayanan 0001, Ashish Tiwari 0001 |
Sherlock - A tool for verification of neural network feedback systems: demo abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume O. Berger, Raphaël M. Jungers |
Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga, Ichiro Hasuo |
Moore-machine filtering for timed and untimed pattern matching: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Masako Kishida |
Encrypted control system with quantizer: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi |
SReachTools: a MATLAB stochastic reachability toolbox. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Sinyakov, Antoine Girard |
Formal Controller Synthesis from Hybrid Programs. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening |
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadra Sadraddini, Calin Belta |
Formal Guarantees in Data-Driven Model Identification and Control Synthesis. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Xue 0001, Martin Fränzle, Naijun Zhan |
Under-Approximating Reach Sets for Polynomial Continuous Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson |
Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gburek, Christel Baier |
Bisimulations, logics, and trace distributions for stochastic systems with rewards. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton V. Proskurnikov, Manuel Mazo Jr. |
Lyapunov Design for Event-Triggered Exponential Stabilization. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdalla Swikir, Antoine Girard, Majid Zamani 0001 |
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnane Saoud, Antoine Girard, Laurent Fribourg |
Contract based Design of Symbolic Controllers for Vehicle Platooning. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussein Sibai, Sayan Mitra |
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi 0001 |
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie An 0001, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi 0001 |
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Hybrid Automata with Simulink and Stateflow. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinan Li 0001, Jun Liu 0015 |
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Atreyee Kundu |
Stabilizing switched nonlinear systems under restricted switching. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abraham P. Vinod, Meeko M. K. Oishi |
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. Kim, Murat Arcak, Majid Zamani 0001 |
Constructing Control System Abstractions from Modular Components. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Bakhirkin, Thomas Ferrère, Oded Maler |
Efficient Parametric Identification for STL. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pier Giuseppe Sessa, Damian Frick, Tony A. Wood, Maryam Kamgarpour |
From Uncertainty Data to Robust Policies for Temporal Logic Planning. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Saeedloei, Feliks Kluzniak |
Clock Allocation in Timed Automata and Graph Colouring. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussein Sibai, Sayan Mitra |
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale |
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling 0001 |
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Martin 0003, Olivier Mullier |
Improving validated computation of Viability Kernels. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Prandini, Jyotirmoy V. Deshmukh (eds.) |
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018 |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani 0001 |
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dogan Ulus, Oded Maler |
Specifying Timed Patterns using Temporal Logic. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Chan, Sayan Mitra |
CODEV: Automated Model Predictive Control Design and Formal Verification. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Rungger, Majid Zamani 0001 |
Accurate reachability analysis of uncertain nonlinear systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinan Li 0001, Jun Liu 0015 |
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra |
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski |
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus |
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard |
Compositional Synthesis for Symbolic Control. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee 0001 |
Parameter Invariant Monitoring for Signal Temporal Logic. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic |
Localizing Faults in Simulink/Stateflow Models with STL. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Miriam Garcia Soto, Pavithra Prabhakar |
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Schürmann, Matthias Althoff |
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening |
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Yu Wang 0044, Matthew West 0001, Geir E. Dullerud, Mahesh Viswanathan 0001 |
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Dreossi |
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels |
Dynamic Periodic Event-Triggered Control for Linear Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussein Sibai, Sayan Mitra |
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson |
Abnormal Data Classification Using Time-Frequency Temporal Logic. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fu, Ivan Papusha, Ufuk Topcu |
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petter Nilsson, Necmiye Ozay |
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Parasara Sridhar Duggirala |
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Matthew O'Kelly, Rahul Mangharam |
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 |
Robust Model Checking of Timed Automata under Clock Drifts. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames |
Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Miriam Garcia Soto |
Formal Synthesis of Stabilizing Controllers for Switched Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Al Khatib, Antoine Girard, Thao Dang 0001 |
Scheduling of Embedded Controllers Under Timing Contracts. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Sayan Mitra (eds.) |
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017 |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Tedrake |
Convex and Combinatorial Optimization for Dynamic Robots in the Real World. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet |
Structural Analysis of Multi-Mode DAE Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi |
Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
A Small Gain Theorem for Parametric Assume-Guarantee Contracts. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska 0002, Marta Z. Kwiatkowska |
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Liu 0015 |
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasser Shoukry, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada |
SMC: Satisfiability Modulo Convex Optimization. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Kong 0004, Sergiy Bogomolov, Christian Schilling 0001, Yu Jiang 0001, Thomas A. Henzinger |
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Rungger, Majid Zamani 0001 |
Invariance Feedback Entropy of Nondeterministic Control Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, João Sousa Pinto, James Worrell 0001 |
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe |
Path-Complete Graphs and Common Lyapunov Functions. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar |
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Assalé Adjé |
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Pace, Samuel A. Burden |
Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints. |
HSCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed |
A Topological Method for Finding Invariant Sets of Switched Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Minopoli, Goran Frehse |
From Simulation Models to Hybrid Automata Using Urgency and Relaxation. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Salar Moarref, Ufuk Topcu |
Compositional Synthesis with Parametric Reactive Controllers. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Siyuan Dai, Xenofon D. Koutsoukos |
Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta |
A Decision Tree Approach to Data Classification using Signal Temporal Logic. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
Temporal Logic as Filtering. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman |
Safety Verification of Piecewise-Deterministic Markov Processes. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Heejin Ahn, Domitilla Del Vecchio |
Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo 0002, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia |
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Al Khatib, Antoine Girard, Thao Dang 0001 |
Verification and Synthesis of Timing Contracts for Embedded Controllers. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash |
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Petter Nilsson, Necmiye Ozay |
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Athanasopoulos, Raphaël M. Jungers |
Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Dreossi, Thao Dang 0001, Carla Piazza |
Parallelotope Bundles for Polynomial Reachability. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan A. DeCastro, Hadas Kress-Gazit |
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Vilgelm, Mohammad H. Mamduhi, Wolfgang Kellerer, Sandra Hirche |
Adaptive Decentralized MAC for Event-Triggered Networked Control Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Hirche |
Optimal Co-Design of Scheduling and Control for Networked Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Noesselt, Matthias Schultalbers, Jan Lunze |
Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Miriam Garcia Soto |
Hybridization for Stability Analysis of Switched Linear Systems. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam |
Towards Model Checking of Implantable Cardioverter Defibrillators. |
HSCC |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license