Automatica Journal

Overview

publication venue for

• A constrained control framework for unmanned aerial vehicles based on Explicit Reference Governor 2024
• Information-theoretic multi-time-scale partially observable systems with inspiration from leukemia treatment 2024
• 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
... more

Research

keywords

• 01 Mathematical Sciences, 09 Engineering, 08 Information and Computing Sciences