| Publication | Date of Publication | Type |
|---|
Integrating obfuscation and control for privacy
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Controlled invariant sets: implicit closed-form representations and applications
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Compositional safety rules for inter-triggering hybrid automata
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
From drinking philosophers to asynchronous path-following robots
Automatica | 2023-06-30 | Paper |
| Classification of driving behaviors using STL formulas: a comparative study | 2023-01-18 | Paper |
Revisiting Ho–Kalman-Based System Identification: Robustness and Finite-Sample Analysis
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
A general language-based framework for specifying and verifying notions of opacity
Discrete Event Dynamic Systems | 2022-06-13 | Paper |
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Automatica | 2021-11-19 | Paper |
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations
Algorithmic Foundations of Robotics XIV | 2021-09-20 | Paper |
On abstraction-based controller design with output feedback
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Inter-triggering hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Passive diagnosis of hidden-mode switched affine models with detection guarantees via model invalidation
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems | 2020-08-20 | Paper |
Finite horizon constrained control and bounded-error estimation in the presence of missing data
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
On Sufficient Conditions for Mixed Monotonicity
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
Equalized recovery: Weakening invariance for control and estimation
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Safety control with preview automaton
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
Automatica | 2018-10-17 | Paper |
Augmented finite transition systems as abstractions for control synthesis
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
A Sparsification Approach to Set Membership Identification of Switched Affine Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
On a class of maximal invariance inducing control strategies for large collections of switched systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
On synthesizing robust discrete controllers under modeling uncertainty
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Finite abstractions with robustness margins for temporal logic-based control synthesis
Nonlinear Analysis. Hybrid Systems | 2016-09-09 | Paper |
Set membership identification of switched linear systems with known number of subsystems
Automatica | 2015-04-28 | Paper |
Identification and model (in)validation of switched ARX systems: a moment-based approach
Linear Parameter-Varying System Identification | 2014-09-18 | Paper |
| scientific article; zbMATH DE number 5899438 (Why is no real title available?) | 2011-05-24 | Paper |
Risk‐adjusted output feedback receding horizon control of constrained linear parameter varying systems
International Journal of Robust and Nonlinear Control | 2008-03-18 | Paper |
