| Publication | Date of Publication | Type |
|---|
Event-triggered stabilization of uncertain switched linear systems under finite feedback bit rate
Automatica | 2025-01-16 | Paper |
Event-triggered asynchronous filtering for networked fuzzy non-homogeneous Markov jump systems with dynamic quantization
International Journal of Adaptive Control and Signal Processing | 2024-05-08 | Paper |
Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM
IMA Journal of Mathematical Control and Information | 2021-11-05 | Paper |
$\mathcal {L}_2$-Gain Analysis of Periodic Event-Triggered Control and Self-Triggered Control Using Lifting
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
Asynchronous \(\mathcal{H}_\infty\) control for two-dimensional hidden Markovian jump systems with partly known mode observation conditional probabilities
International Journal of Robust and Nonlinear Control | 2021-05-31 | Paper |
State and mode feedback control strategy for discrete‐time Markovian jump linear systems with time‐varying controllable mode transition probability matrix
International Journal of Robust and Nonlinear Control | 2021-05-31 | Paper |
Graph Lyapunov function for switching stabilization and distributed computation
Automatica | 2020-04-14 | Paper |
Statistical verification of PCTL using antithetic and stratified samples
Formal Methods in System Design | 2019-11-18 | Paper |
Exact variance-reduced simulation of lattice continuous-time Markov chains with applications in reaction networks
Bulletin of Mathematical Biology | 2019-09-26 | Paper |
An average queue‐length‐difference–based congestion detection algorithm in TCP/AQM network
International Journal of Adaptive Control and Signal Processing | 2018-09-06 | Paper |
$l_p$ Analysis and Synthesis of Linear Switched Systems: A Unified Input-Output and State-Space Approach
SIAM Journal on Control and Optimization | 2018-04-05 | Paper |
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Decentralized Control of Linear Switched Nested Systems With $\ell_{2}$-Induced Norm Performance
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Verification of Bounded Discrete Horizon Hybrid Automata
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Supervisory Control and Measurement Scheduling for Discrete-Time Linear Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Control of Systems With Uncertain Initial Conditions
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
On the Balanced Truncation of LTV Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Model Reduction of Nonstationary LPV Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Stability Analysis of Switched Linear Systems Defined by Regular Languages
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Distributed Control of Heterogeneous Systems
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Distributed control design for spatially interconnected systems
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Statistical verification of dynamical systems using set oriented methods
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Control of Linear Switched Systems With Receding Horizon Modal Information
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Pre-orders for reasoning about stability
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Joint synthesis of switching and feedback for linear systems in discrete time
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Team Optimal Control of Stochastically Switched Systems With Local Parameter Knowledge
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
<inline-formula> <tex-math notation="LaTeX">$\mathcal{L}_{2}$</tex-math> </inline-formula>-Gain Analysis for a Class of Hybrid Systems With Applications to Reset and Event-Triggered Control: A Lifting Approach
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks
Journal of Computational Physics | 2016-12-20 | Paper |
Extremal storage functions and minimal realizations of discrete-time linear switching systems
| 2016-09-19 | Paper |
Stability of discrete-time switching systems with constrained switching sequences
Automatica | 2016-09-13 | Paper |
Decision-control mechanism for Markovian jump linear systems with Gaussian noise
Optimal Control Applications & Methods | 2016-05-23 | Paper |
Decentralized control with communication bandwidth constraints
Distributed Decision Making and Control | 2015-06-24 | Paper |
A decidable class of planar linear hybrid systems
Theoretical Computer Science | 2015-02-24 | Paper |
Distributed control of linear time-varying systems interconnected over arbitrary graphs
International Journal of Robust and Nonlinear Control | 2015-02-17 | Paper |
Control of nonstationary LPV systems
Automatica | 2014-03-19 | Paper |
Specifications for decidable hybrid games
Theoretical Computer Science | 2011-12-07 | Paper |
STORMED Hybrid Games
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Dynamic sequential team multi-hypothesis testing under uniformly distributed nonstationary observations
Systems & Control Letters | 2008-11-20 | Paper |
A Decidable Class of Planar Linear Hybrid Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
STORMED Hybrid Systems
Automata, Languages and Programming | 2008-08-19 | Paper |
scientific article; zbMATH DE number 5186329 (Why is no real title available?)
| 2007-09-03 | Paper |
Optimal Disturbance Attenuation for Discrete‐Time Switched and Markovian Jump Linear Systems
SIAM Journal on Control and Optimization | 2007-07-25 | Paper |
A stability and contractiveness analysis of discrete-time Markovian jump linear systems
Automatica | 2007-02-13 | Paper |
Uniform stabilization of discrete-time switched and Markovian jump linear systems
Automatica | 2006-05-29 | Paper |
Model reduction of periodic systems: a lifting approach
Automatica | 2006-02-02 | Paper |
Duality and eventually periodic systems
International Journal of Robust and Nonlinear Control | 2005-12-08 | Paper |
An LMI solution to the robust synthesis problem for multi-rate sampled-data systems
Automatica | 2004-02-25 | Paper |
LMI tools for eventually periodic systems.
Systems & Control Letters | 2003-01-21 | Paper |
A nonlinear functional approach to LFT model validation.
Systems & Control Letters | 2002-08-05 | Paper |
Computing quasi-LTI robustness margins in sampled-data systems
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Robust Controller Synthesis for Uncertain Time-Varying Systems
SIAM Journal on Control and Optimization | 2002-06-23 | Paper |
Uniform robust performance against quasi-LTI uncertainty in sampled-data systems
SIAM Journal on Control and Optimization | 2001-10-29 | Paper |
scientific article; zbMATH DE number 1342058 (Why is no real title available?)
| 2001-09-04 | Paper |
A new approach for analysis and synthesis of time-varying systems
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
scientific article; zbMATH DE number 1418964 (Why is no real title available?)
| 2000-03-20 | Paper |
Asynchronous hybrid systems with jumps -- analysis and synthesis methods.
Systems & Control Letters | 1999-06-21 | Paper |
Computing the \(L_{2}\)-induced norm of a compression operator
Systems & Control Letters | 1999-06-21 | Paper |
Model validation for dynamically uncertain systems
Mathematical Modelling of Systems | 1997-11-09 | Paper |
scientific article; zbMATH DE number 966980 (Why is no real title available?)
| 1997-05-14 | Paper |
Robust performance of periodic systems
IEEE Transactions on Automatic Control | 1997-02-11 | Paper |
A continuous-time extension condition
IEEE Transactions on Automatic Control | 1997-01-22 | Paper |
Continuous-time control model validation using finite experimental data
IEEE Transactions on Automatic Control | 1997-01-21 | Paper |
Control of uncertain sampled-data systems
Systems & Control: Foundations & Applications | 1996-01-14 | Paper |
Analysis of structured LTI uncertainty in sampled-data systems
Automatica | 1995-05-11 | Paper |
Robust stabilization of sampled-data systems to structured LTI perturbations
IEEE Transactions on Automatic Control | 1994-02-24 | Paper |
L/sub 1/ analysis and design of sampled-data systems
IEEE Transactions on Automatic Control | 1992-09-27 | Paper |
