| Publication | Date of Publication | Type |
|---|
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts
Automatica | 2024-09-16 | Paper |
Adaptive and learning-based control of safety-critical systems
Synthesis Lectures on Computer Science | 2024-09-03 | Paper |
Safe autonomy with control barrier functions. Theory and applications
Synthesis Lectures on Computer Science | 2024-09-03 | Paper |
Model-based reinforcement learning for approximate optimal control with temporal logic specifications
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
Automatica | 2023-06-26 | Paper |
Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
Safe exploration in model-based reinforcement learning using control barrier functions
Automatica | 2022-12-09 | Paper |
Adaptive Control Barrier Functions
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
High-Order Control Barrier Functions
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Safety-critical optimal control for autonomous systems
Journal of Systems Science and Complexity | 2022-01-21 | Paper |
Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
IEEE Control Systems | 2022-01-10 | Paper |
Sufficient conditions for feasibility of optimal control problems using control barrier functions
Automatica | 2021-12-14 | Paper |
Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles
Automatica | 2021-11-18 | Paper |
Compositional synthesis via a convex parameterization of assume-guarantee contracts
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Translational and Rotational Invariance in Networked Dynamical Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Formal Synthesis of Control Strategies for Positive Monotone Systems
IEEE Transactions on Automatic Control | 2019-03-28 | Paper |
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE Transactions on Control of Network Systems | 2018-12-19 | Paper |
Formal Guarantees in Data-Driven Model Identification and Control Synthesis
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Traffic Network Control From Temporal Logic Specifications
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Time window temporal logic
Theoretical Computer Science | 2017-09-07 | Paper |
Formal Analysis of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Formal methods for discrete-time dynamical systems
Studies in Systems, Decision and Control | 2017-07-31 | Paper |
Controlling a Class of Nonlinear Systems on Rectangles
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Temporal Logics for Learning and Detection of Anomalous Behavior
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
LTL receding horizon control for finite deterministic systems
Automatica | 2017-06-02 | Paper |
LTL receding horizon control for finite deterministic systems
Automatica | 2017-06-02 | Paper |
Temporal logic motion planning using POMDPs with parity objectives
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
A decision tree approach to data classification using signal temporal logic
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Finite Bisimulations for Switched Linear Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Language-guided controller synthesis for discrete-time linear systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Language-Guided Controller Synthesis for Linear Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Temporal logic inference for classification and prediction from data
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Temporal logic model predictive control
Automatica | 2015-11-05 | Paper |
Time-constrained temporal logic control of multi-affine systems
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica | 2013-03-04 | Paper |
| scientific article; zbMATH DE number 5957711 (Why is no real title available?) | 2011-10-12 | Paper |
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Dealing with Nondeterminism in Symbolic Control
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Model Checking Liveness Properties of Genetic Regulatory Networks
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 2065648 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1955876 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1794358 (Why is no real title available?) | 2002-09-03 | Paper |
Stability analysis for rotating stall dynamics in axial flow compressors
Circuits, Systems, and Signal Processing | 2001-04-09 | Paper |
Rotating stall control for axial flow compressors
Automatica | 2001-01-01 | Paper |
Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
(available as arXiv preprint) | N/A | Paper |
