selected publications
-
chapter
- QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. 309-313. 2017
-
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Lecture Notes in Artificial Intelligence.
85-101.
2016
-
journal article
-
Symbolic Abstractions of Networked Control Systems.
IEEE Transactions on Control of Network Systems.
1622-1634.
2018
-
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach.
IEEE Transactions on Control of Network Systems.
1003-1015.
2018
-
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
IEEE Transactions on Control of Network Systems.
116-127.
2018
-
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
IEEE Transactions on Automatic Control.
255-261.
2018
-
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
IEEE Transactions on Automatic Control.
2838-2853.
2017
-
Towards scalable synthesis of stochastic control systems.
Discrete Event Dynamic Systems.
341-369.
2017
-
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Automatica.
183-196.
2015
-
Approximately bisimilar symbolic models for randomly switched stochastic systems.
Systems and Control Letters.
38-46.
2014
-
Backstepping controller synthesis and characterizations of incremental stability.
Systems and Control Letters.
949-962.
2013
-
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Transactions on Automatic Control.
1804-1809.
2012
-
Backstepping Design for Incremental Stability.
IEEE Transactions on Automatic Control.
2184-2189.
2011
-
Design of a fractional order PID controller for an AVR using particle swarm optimization.
Control Engineering Practice.
1380-1387.
2009
-
Design of an H-infinity PID Controller Using Particle Swarm Optimization.
International Journal of Control, Automation and Systems.
273-280.
2009
- FOPID controller design for robust performance using particle swarm optimization. 169-188. 2007
-
Symbolic Abstractions of Networked Control Systems.
IEEE Transactions on Control of Network Systems.
1622-1634.
2018