Rungger, M.;Tabuada, P.
A notion of robustness for cyber-physical systems
IEEE Transactions on Automatic Control
2016
61
8
2108--2123

Rungger, M.;Reissig, G.;Zamani, M.
Symbolic synthesis with average performance guarantees
Proceedings of the 55th IEEE Conference on Decision and Control
2016

Jagtap, P.;Zamani, M.
Backstepping design for incremental stability of stochastic Hamiltonian systems
Proceedings of the 55th IEEE Conference on Decision and Control
2016

Holub O.; Zamani M.; Abate A.
Efficient HVAC controls: A symbolic approach
Proceedings of the European Control Conference
IEEE
2016

Zamani, M.; Dey, S.; Mohamed, S.; Dasgupta, P.; Mazo Jr., M.
Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization
Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
Springer
2016

Khaled M.; Rungger M.; Zamani M.
Symbolic models of networked control systems: A feedback refinement relation approach
Proceedings of the 54th Annual Allerton Conference on Communication, Control, and Computing
IEEE
2016

Awan A. U.; Zamani M.
On a notion of estimation entropy for stochastic hybrid systems
Proceedings of the 54th Annual Allerton Conference on Communication, Control, and Computing, USA
IEEE
2016

Jagtap P.; Zamani M.
On incremental stability of time-delayed stochastic control systems
Proceedings of the 54th Annual Allerton Conference on Communication, Control, and Computing
IEEE
2016

Rungger, M.;Zamani, M.
SCOTS: A tool for the synthesis of symbolic controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
ACM
2016

Rungger M.; Zamani M.
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
IEEE Transactions of Control of Networked Systems
2016