publication venue for
- A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions 2026
- Using Dynamic Safety Margins as Control Barrier Functions 2026
- Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach 2026
- Reduced-Order Gaussian Processes for Partially Unknown Nonlinear Control Systems 2025
- Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression 2025
- On Approximate Opacity of Stochastic Control Systems 2025
- Secure-by-Construction Synthesis for Control Systems 2025
- Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops 2024
- Verification of Hyperproperties for Dynamical Systems via Barrier Certificates 2024
- Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach 2024
- A Framework for Output-Feedback Symbolic Control 2023
- A Terminal Set Feasibility Governor for Linear Model Predictive Control 2023
- Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach 2023
- A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems 2023
- A Feasibility Governor for Enlarging the Region of Attraction of Linear Model Predictive Controllers 2022
- From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems 2022
- From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems 2022
- An Analysis of Closed-Loop Stability for Linear Model Predictive Control Based on Time-Distributed Optimization 2022
- A Lyapunov-Based Small-Gain Theorem for Infinite Networks 2021
- Invariance Feedback Entropy of Uncertain Control Systems 2021
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates 2021
- On Approximate Opacity of Cyber-Physical Systems 2021
- Reverse and Forward Engineering of Local Voltage Control in Distribution Networks 2021
- Reverse and Forward Engineering of Local Voltage Control in Distribution Networks 2021
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes 2021
- Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems 2020
- An Integrative Perspective to LQ and l∞ Control for Delayed and Quantized Systems 2020
- Sensitivity-Based Warmstarting for Nonlinear Model Predictive Control With Polyhedral State and Control Constraints 2020
- Spacecraft Attitude Control With Nonconvex Constraints: An Explicit Reference Governor Approach 2020
- Online Stochastic Optimization of Networked Distributed Energy Resources 2020
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach 2019
- Inexact Newton-Kantorovich Methods for Constrained Nonlinear Model Predictive Control 2019
- Explicit Reference Governor for the Constrained Control of Linear Time-Delay Systems 2019
- Embedding Constrained Model Predictive Control in a Continuous-Time Dynamic Feedback 2019
- An Incentive-Based Online Optimization Framework for Distribution Grids 2018
- An Incentive-Based Online Optimization Framework for Distribution Grids 2018
- Proximate Time-Optimal Control of Harmonic Oscillator 2018
- Proximate Time-Optimal Control of a Harmonic Oscillator 2018
- Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps 2018
- Reverse and Forward Engineering of Frequency Control in Power Networks 2017
- Approximations of Stochastic Hybrid Systems: A Compositional Approach 2017
- Explicit Reference Governor for Constrained Nonlinear Systems 2016
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems 2015
- Reachability Using Arbitrary Performance Indices 2015
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions 2014
- Optimal Control on Lie Groups: The Projection Operator Approach 2013
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions 2012
- Backstepping Design for Incremental Stability 2011
- Positivity Preservation Properties of the Rantzer Multipliers 2011
- Global Solution for the Optimal Feedback Control of the Underactuated Heisenberg System 2008
- Fundamental constraints on uncertainty evolution in Hamiltonian systems 2007
- On the stability of receding horizon control with a general terminal cost 2005
- Computing budget allocation for efficient ranking and selection of variances with application to target tracking algorithms 2004
- Unconstrained receding-horizon control of nonlinear systems 2001
- The optimal order of processing sensor information in sequential multisensor fusion algorithms 2000
- General approach to input-output pseudolinearization for nonlinear systems 1998
- Balancing and model reduction for second-order form linear systems 1996
- HIGHER-ORDER APPROXIMATE FEEDBACK LINEARIZATION ABOUT A MANIFOLD FOR MULTIINPUT SYSTEMS 1995
- INPUT-OUTPUT PSEUDOLINEARIZATION FOR NONLINEAR-SYSTEMS 1994
- USING BURST RECOVERY CONCEPT TO OBTAIN GLOBAL STABILITY AND PERFORMANCE OF DISCRETE-TIME ADAPTIVE CONTROLLER FOR TIME-VARYING SYSTEMS 1994
- THE ROBUSTNESS OF A PROXIMATE TIME-OPTIONAL CONTROLLER 1994
- PARAMETER DRIFT INSTABILITY IN DISTURBANCE-FREE ADAPTIVE SYSTEMS 1993
- PROXIMATE TIME-OPTIMAL CONTROL OF 3RD-ORDER SERVOMECHANISMS 1993
- COST TRANSLATION AND A LIFTING APPROACH TO THE MULTIRATE LQG PROBLEM 1992
- NONLINEAR CONTROL VIA APPROXIMATE INPUT OUTPUT LINEARIZATION - THE BALL AND BEAM EXAMPLE 1992
- ADAPTIVE ALGORITHM STRUCTURE - IMPACTS ON STABILITY AND PERFORMANCE 1990
- ON A STABILITY THEOREM FOR NONLINEAR-SYSTEMS WITH SLOWLY VARYING INPUTS 1990
- The construction of special coprime factorizations in discrete time 1990
- A parametrization of stabilizing controllers for multirate sampled-data systems 1990
- Fractional balanced reduction: model reduction via fractional representation 1990
- A new CAD method and associated architectures for linear controllers 1988
- Two properties of l/sub 1/-optimal controllers 1988
- A connection between normalized coprime factorizations and linear quadratic regulator theory 1987
- RECURSIVE PARAMETER-IDENTIFICATION ALGORITHM STABILITY ANALYSIS VIA PI-SHARING 1986
- A FLAW IN THE REDUCED-ORDER BEHAVIOR OF A DIRECT ADAPTIVE POLE PLACER 1983