Rungger, M.;Zamani, M.
Compositional construction of approximate abstractions
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
ACM
2015

Zamani, M.;Abate, A.;Girard, A.
Symbolic models for stochastic switched systems: a discretization and a discretization-free approach
Automatica
2015
55
183--196

Rungger, M.;Weber, A.;Reissig, G.
State Space Grids for Low Complexity Abstractions
Proceedings of the 54th IEEE Conference on Decision and Control
IEEE
2015

Ames, A. D.;Tabuada, P.;Schuermann, B.;Ma, W.;Kolathaya, S.;Rungger, M.;Grizzle, J. W.
First Steps toward Formal Controller Synthesis for Bipedal Robots
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
ACM
2015

Zamani, M.;Girard, A.
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach
Proceedings of the American Control Conference (ACC)
2015

Chang, W.;Probstl, A.;Goswami, D.;Zamani, M.;Chakraborty, S.
Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles
Proceedings of the 3rd International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)
2015

Zamani, M.;Rungger, M.;Esfahani, P. Mohajerin
Construction of Approximations of Stochastic Control Systems: A Compositional Approach
Proceedings of the 54th IEEE Conference on Decision and Control
IEEE
2015