publication venue for
- On Approximate Opacity of Stochastic Control Systems 2025
- Secure-by-Construction Synthesis for Control Systems 2025
- Formal Verification of Unknown Dynamical Systems Via Gaussian Process Regression 2025
- Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops 2024
- Verification of Hyperproperties for Dynamical Systems via Barrier Certificates 2024
- Geometric Characterization of the H-Property for Step-Graphons 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
- On Structural Rank and Resilience of Sparsity Patterns 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
- Sparse Linear Ensemble Systems and Structural Controllability 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
- Asymptotic Behavior of Conjunctive Boolean Networks Over Weakly Connected Digraphs 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
- Exponential Convergence of the Discrete- and Continuous-Time Altafini Models 2017
- Swarm Aggregation under Fading Attractions 2017
- Reverse and Forward Engineering of Frequency Control in Power Networks 2017
- Approximations of Stochastic Hybrid Systems: A Compositional Approach 2017
- Distributed Evaluation and Convergence of Self-Appraisals in Social Networks 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
- Balancing and model reduction for second-order form linear systems 1996
- HIGHER-ORDER APPROXIMATE FEEDBACK LINEARIZATION ABOUT A MANIFOLD FOR MULTIINPUT SYSTEMS 1995
- 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
- The construction of special coprime factorizations in discrete time 1990
- A parametrization of stabilizing controllers for multirate sampled-data systems 1990
- Adaptive algorithm structure: impacts on stability and performance 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