Rungger, M.;Tabuada, P.A notion of robustness for cyber-physical systemsIEEE Transactions on Automatic Control20166182108--2123
Rungger, M.;Reissig, G.;Zamani, M.Symbolic synthesis with average performance guaranteesProceedings of the 55th IEEE Conference on Decision and Control2016
Jagtap, P.;Zamani, M.Backstepping design for incremental stability of stochastic Hamiltonian systemsProceedings of the 55th IEEE Conference on Decision and Control2016
Holub O.; Zamani M.; Abate A.Efficient HVAC controls: A symbolic approachProceedings of the European Control ConferenceIEEE2016
Zamani, M.; Dey, S.; Mohamed, S.; Dasgupta, P.; Mazo Jr., M. Scheduling of Controllers’ Update-Rates for Residual Bandwidth UtilizationProceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)Springer2016
Khaled M.; Rungger M.; Zamani M.Symbolic models of networked control systems: A feedback refinement relation approachProceedings of the 54th Annual Allerton Conference on Communication, Control, and ComputingIEEE2016
Awan A. U.; Zamani M.On a notion of estimation entropy for stochastic hybrid systemsProceedings of the 54th Annual Allerton Conference on Communication, Control, and Computing, USAIEEE2016
Jagtap P.; Zamani M.On incremental stability of time-delayed stochastic control systemsProceedings of the 54th Annual Allerton Conference on Communication, Control, and ComputingIEEE2016
Rungger, M.;Zamani, M.SCOTS: A tool for the synthesis of symbolic controllersProceedings of the 19th International Conference on Hybrid Systems: Computation and ControlACM2016
Rungger M.; Zamani M.Compositional Construction of Approximate Abstractions of Interconnected Control SystemsIEEE Transactions of Control of Networked Systems2016