| Publication | Date of Publication | Type |
|---|
Flexible computational pipelines for robust abstraction-based control synthesis
Computer Aided Verification | 2024-02-16 | Paper |
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
MCSS. Mathematics of Control, Signals, and Systems | 2024-02-07 | Paper |
Time-Variation in Online Nonconvex Optimization Enables Escaping From Spurious Local Minima
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Interval Reachability Analysis
SpringerBriefs in Electrical and Computer Engineering | 2023-02-28 | Paper |
Dissipativity Tools for Convergence to Nash Equilibria in Population Games
IEEE Transactions on Control of Network Systems | 2022-09-20 | Paper |
Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Backward Reachability for Polynomial Systems on a Finite Horizon
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
IEEE Control Systems | 2022-01-10 | Paper |
Approximate abstractions of control systems with an application to aggregation
Automatica | 2020-10-22 | Paper |
Reachability analysis using dissipation inequalities for uncertain nonlinear systems
Systems & Control Letters | 2020-10-07 | Paper |
A spatial filtering approach to biological patterning
SIAM Journal on Applied Dynamical Systems | 2019-12-19 | Paper |
TIRA
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Finite horizon robustness analysis of LTV systems using integral quadratic constraints
Automatica | 2019-04-24 | Paper |
Balancing Safety and Traffic Throughput in Cooperative Vehicle Platooning
| 2019-04-17 | Paper |
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Control and Optimization Problems in Hyperpolarized Carbon-13 MRI
Lecture Notes in Control and Information Sciences - Proceedings | 2019-02-25 | Paper |
Symmetry reduction for dynamic programming
Automatica | 2019-02-05 | Paper |
Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers
IEEE Transactions on Automatic Control | 2019-01-28 | Paper |
Symmetry Reduction for Performance Certification of Interconnected Systems
IEEE Transactions on Control of Network Systems | 2018-12-19 | Paper |
Constructing control system abstractions from modular components
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Approximate abstractions of control systems with an application to aggregation
| 2018-09-10 | Paper |
An Input–Output Framework for Submanifold Stabilization
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Symbolic control design for monotone systems with directed specifications
Automatica | 2017-11-08 | Paper |
Adaptive Synchronization of Diffusively Coupled Systems
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Traffic Network Control From Temporal Logic Specifications
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Pattern Formation by Lateral Inhibition in Large-Scale Networks of Cells
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Quaternion-Based Hybrid Feedback for Robust Global Attitude Synchronization
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Delay Robustness of Interconnected Passive Systems: An Integral Quadratic Constraint Approach
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Synchronization of Interconnected Systems With Applications to Biochemical Networks: An Input-Output Approach
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Diagonal Stability on Cactus Graphs and Application to Network Stability Analysis
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Instability Mechanisms in Cooperative Control
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Robust Stabilization and Performance Recovery of Nonlinear Systems With Unmodeled Dynamics
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Passivity as a Design Tool for Group Coordination
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
A Passivity-Based Approach to Stability of Spatially Distributed Systems With a Cyclic Interconnection Structure
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Delay Robustness of a Class of Nonlinear Systems and Applications to Communication Networks
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
A Unifying Passivity Framework for Network Flow Control
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Certainty-equivalence output-feedback design with circle-criterion observers
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
A small gain theorem for parametric assume-guarantee contracts
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Trading the stability of finite zeros for global stabilization of nonlinear cascade systems
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Efficient finite abstraction of mixed monotone systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Directed specifications and assumption mining for monotone dynamical systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Reachability Analysis of Nonlinear Systems Using Matrix Measures
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
A Dissipativity Approach to Safety Verification for Interconnected Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
A Compartmental Model for Traffic Networks and Its Dynamical Behavior
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Finite abstraction of mixed monotone systems with discrete and continuous inputs
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Compositional abstraction for networks of control systems: A dissipativity approach
| 2016-08-04 | Paper |
Networks of dissipative systems. Compositional certification of stability, performance, and safety
SpringerBriefs in Electrical and Computer Engineering | 2016-04-11 | Paper |
Stability of traffic flow networks with a polytree topology
Automatica | 2016-03-08 | Paper |
Stability of an analog optimization circuit for quadratic programming
Systems & Control Letters | 2016-03-04 | Paper |
Compositional performance certification of interconnected systems using ADMM
Automatica | 2015-12-22 | Paper |
Synchronization of diffusively-coupled limit cycle oscillators
Automatica | 2015-06-25 | Paper |
A computational approach to synthesizing guards for hybrid systems
Systems & Control Letters | 2014-10-27 | Paper |
Boundedness without absolute stability in systems with stiffening nonlinearities
European Journal of Control | 2014-08-07 | Paper |
Pattern Formation with a Compartmental Lateral Inhibition System
| 2014-07-23 | Paper |
A graph partitioning approach to predicting patterns in lateral inhibition systems
SIAM Journal on Applied Dynamical Systems | 2014-01-22 | Paper |
Scaling the size of a formation using relative position feedback
Automatica | 2013-08-28 | Paper |
Stability certification of large scale stochastic systems using dissipativity
Automatica | 2012-12-13 | Paper |
Certifying spatially uniform behavior in reaction-diffusion PDE and compartmental ODE systems
Automatica | 2012-03-05 | Paper |
A Broad Dynamical Model for Pattern Formation by Lateral Inhibition
| 2012-01-06 | Paper |
Equilibrium-independent passivity: a new definition and numerical certification
Automatica | 2011-11-03 | Paper |
Passivity-based agreement protocols: continuous-time and sampled-data designs
Group Coordination and Cooperative Control | 2011-07-15 | Paper |
Cooperative control design. A systematic, passivity-based approach
Communications and Control Engineering | 2011-06-22 | Paper |
Nonlinear analysis of ring oscillator and cross-coupled oscillator circuits
| 2011-02-03 | Paper |
Passivity-based stability of interconnection structures
Lecture Notes in Control and Information Sciences | 2010-11-05 | Paper |
A sufficient condition for additive \(D\)-stability and application to reaction-diffusion models
Systems & Control Letters | 2010-02-12 | Paper |
Adaptive motion coordination: using relative velocity feedback to track a reference velocity
Automatica | 2009-06-11 | Paper |
Time-scale separation redesigns for stabilization and performance recovery of uncertain nonlinear systems
Automatica | 2009-02-10 | Paper |
Rigid body attitude coordination without inertial frame information
Automatica | 2009-01-21 | Paper |
A passivity-based stability criterion for a class of biochemical reaction networks
Mathematical Biosciences and Engineering | 2008-07-11 | Paper |
Adaptive design for reference velocity recovery in motion coordination
Systems & Control Letters | 2008-07-10 | Paper |
Area aggregation and time-scale modeling for sparse nonlinear networks
Systems & Control Letters | 2008-03-06 | Paper |
Passivity-based designs for synchronized path-following
Automatica | 2008-01-16 | Paper |
Diagonal stability of a class of cyclic systems and its connection with the secant criterion
Automatica | 2008-01-11 | Paper |
A passivity approach to game-theoretic CDMA power control
Automatica | 2007-05-15 | Paper |
A hybrid redesign of Newton observers in the absence of an exact discrete-time model
Systems & Control Letters | 2006-09-25 | Paper |
A relaxed condition for stability of nonlinear observer-based controllers
Systems & Control Letters | 2006-09-21 | Paper |
Observer design for systems with multivariable monotone nonlinearities
Systems & Control Letters | 2006-09-21 | Paper |
Robustness of network flow control against disturbances and time-delay
Systems & Control Letters | 2006-09-21 | Paper |
Feedback tuning of bifurcations
Systems & Control Letters | 2006-09-21 | Paper |
Diagonal Stability for a Class of Interconnected Passive Systems
| 2005-04-13 | Paper |
A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation
Automatica | 2005-02-23 | Paper |
Circle and Popov criteria as tools for nonlinear feedback design.
Automatica | 2003-04-27 | Paper |
Input-to-state stability for a class of Lur'e systems
Automatica | 2003-02-17 | Paper |
Nonlinear observers: A circle criterion design and robustness analysis
Automatica | 2002-10-31 | Paper |
Global output tracking control of a class of Euler-Lagrange systems with monotonic non-linearities in the velocities
International Journal of Control | 2002-10-16 | Paper |
Observer-based control of systems with slope-restricted nonlinearities
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Robust global stabilization with ignored input dynamics: an input-to-state stability (ISS) small-gain approach
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
A Unifying Integral ISS Framework for Stability of Nonlinear Cascades
SIAM Journal on Control and Optimization | 2002-06-23 | Paper |
Redesign of backstepping for robustness against unmodelled dynamics
International Journal of Robust and Nonlinear Control | 2001-11-01 | Paper |
Activation of nonlinear feedback concepts
| 2001-09-19 | Paper |
Feasibility conditions for circle criterion designs
Systems & Control Letters | 2001-08-20 | Paper |
Robustification of backstepping against input unmodeled dynamics
IEEE Transactions on Automatic Control | 2001-08-05 | Paper |
Constructive nonlinear control: a historical perspective
Automatica | 2001-07-02 | Paper |
Robust nonlinear control of feedforward systems with unmodeled dynamics
Automatica | 2001-05-07 | Paper |
Robust nonlinear control of systems with input unmodeled dynamics
Systems & Control Letters | 2000-10-26 | Paper |
