| Publication | Date of Publication | Type |
|---|
Robust correlated equilibrium: definition and computation
Automatica | 2026-01-02 | Paper |
Probabilistic Safety Guarantees for Markov Decision Processes
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Explicit construction of the minimum error variance estimator for stochastic LTI-ss systems
Automatica | 2023-07-05 | Paper |
Safety of stochastic systems: an analytic and computational approach
Automatica | 2022-01-07 | Paper |
| Algebraic Test for Asymptotic Stability of Periodic Orbits for Polynomial Systems | 2021-12-11 | Paper |
Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time
Nonlinear Analysis. Hybrid Systems | 2021-11-19 | Paper |
| Safe Dynamic Programming | 2021-09-07 | Paper |
$p$-Safe Analysis of Stochastic Hybrid Processes
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Almost Global Stability of Nonlinear Switched Systems With Time-Dependent Switching
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Model predictive control with fatigue-damage minimization through the dissipativity property of hysteresis operators
European Journal of Control | 2020-09-15 | Paper |
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
| Model reduction of linear hybrid systems | 2020-03-17 | Paper |
| Optimization and Positivity Certificates of Rational Functions using Bernstein Form | 2019-06-16 | Paper |
On robust stability of switched systems in the context of Filippov solutions
Systems & Control Letters | 2018-01-12 | Paper |
On robust stability of switched systems in the context of Filippov solutions
Systems & Control Letters | 2018-01-12 | Paper |
Rotational motion control of a spacecraft
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Safety verification of piecewise-deterministic Markov processes
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Compositional safety analysis using barrier certificates
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Control to facet for polynomial systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Model Reduction by Nice Selections for Linear Switched Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Converse Barrier Certificate Theorems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Toward model-based control of non-linear hydraulic networks
Journal of Vibration and Control | 2017-04-05 | Paper |
Reachability and observability reduction for linear switched systems with constrained switching
Automatica | 2016-11-14 | Paper |
| Moment matching for bilinear systems with nice selections | 2016-05-14 | Paper |
| Fatigue Estimation Methods Comparison for Wind Turbine Control | 2014-11-14 | Paper |
Discussion on: `Optimal magnetic momentum control for inertially pointing spacecraft'
European Journal of Control | 2014-08-07 | Paper |
Local analysis of hybrid systems on polyhedral sets with state-dependent switching
International Journal of Applied Mathematics and Computer Science | 2014-08-06 | Paper |
Balanced truncation for linear switched systems
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Balanced truncation for linear switched systems
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Fault tolerant distributed portfolio optimization in smart grids
International Journal of Robust and Nonlinear Control | 2014-06-26 | Paper |
Profit maximization of a power plant
European Journal of Control | 2013-12-13 | Paper |
Complete abstractions of dynamical systems by timed automata
Nonlinear Analysis. Hybrid Systems | 2013-08-27 | Paper |
Verification of continuous dynamical systems by timed automata
Formal Methods in System Design | 2012-03-09 | Paper |
Generalised Gramian framework for model/controller order reduction of switched systems
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2011-11-25 | Paper |
Switched systems reduction framework based on convex combination of generalized gramians
Journal of Control Science and Engineering | 2010-07-22 | Paper |
| Euler-Poincaré reduction of externally forced rigid body motion | 2009-07-23 | Paper |
| scientific article; zbMATH DE number 5585683 (Why is no real title available?) | 2009-07-23 | Paper |
Hybrid Control and Verification of a Pulsed Welding Process
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Geometric analysis of nondeterminacy in dynamical systems
Acta Informatica | 2007-03-05 | Paper |
Fuzzy controller for a system with uncertain load
Fuzzy Sets and Systems | 2003-04-02 | Paper |
Fully magnetic attitude control for spacecraft subject to gravity gradient
Automatica | 1999-01-01 | Paper |
Lyapunov Densities For Markov Processes: An Application To Quantum Systems With Non-Demolition Measurements
(available as arXiv preprint) | N/A | Paper |
