publication venue for
- Data-driven verification and synthesis of stochastic systems via barrier certificates 2024
- Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems 2023
- Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations 2023
- Automated verification and synthesis of stochastic hybrid systems: A survey 2022
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems 2022
- Gossip over holonomic graphs 2022
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems 2021
- Data-driven verification of stochastic linear systems with signal temporal logic constraints 2021
- Approximate abstractions of control systems with an application to aggregation 2020
- Ensemble observability of Bloch equations with unknown population density 2020
- Time-distributed optimization for real-time model predictive control: Stability, robustness, and constraint satisfaction 2020
- Compositional abstraction-based synthesis for networks of stochastic switched systems 2020
- Symbolic models for retarded jump-diffusion systems 2020
- Controllability of continuum ensemble of formation systems over directed graphs 2019
- Compositional construction of infinite abstractions for networks of stochastic control systems 2019
- Compositional synthesis of finite abstractions for networks of systems: A small-gain approach 2019
- Stability structures of conjunctive Boolean networks 2018
- Optimal capacity allocation for sampled networked systems 2017
- Nonlinear control of a tethered UAV: The taut cable case 2017
- Distributed averaging with linear objective maps 2016
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach 2015
- Real-time optimal commutation for minimizing thermally induced inaccuracy in multi-motor driven stages 2012
- Discrete time-optimal command shaping 2007
- Determination of optimal feedback terminal controllers for general boundary conditions using generating functions 2006
- Variance estimation and ranking of target tracking position errors modeled using Gaussian mixture distributions 2005
- Adaptive input shaping for maneuvering flexible structures 2004
- Input shaping and time-optimal control of flexible structures 2003
- Multi-input shaping design for vibration reduction 1999
- Robust minimum time control of flexible structures 1998
- Alternatives to Monte-Carlo simulation evaluations of two multisensor fusion algorithms 1998
- NONLINEAR CONTROL OF A SWINGING PENDULUM 1995
- ADAPTIVE SYSTEM STABILITY ROBUSTNESS VIA BURST RECOVERY 1995
- NONLINEAR CONTROL DESIGN FOR SLIGHTLY NONMINIMUM PHASE SYSTEMS - APPLICATION TO V/STOL AIRCRAFT 1992
- Annihilator structure of a principal ideal 1988