Benutzer: Gast  Login
Sortieren nach:
und:
weiter

Holub O.; Zamani M.; Abate A.
Efficient HVAC controls: A symbolic approach
Proceedings of the European Control Conference
2016
Zamani M.; Rungger M.; Esfahani P. Mohajerin
Approximations of stochastic hybrid systems: A compositional approach
IEEE Transactions on Automatic Control
2016
Zamani M.; Tkachev I.; Abate A.
Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems
Special Issue on Formal Methods in Control
2016
Zamani M., Dey S., Mohamed S., Dasgupta P., Mazo M. Jr.
Lecture Notes in Computer Science 9884, pp. 85-101
4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
2016
Khaled Mahmoud; Rungger Matthias; Zamani Majid
Symbolic models of networked control systems: A feedback refinement relation approach
The 54th Annual Allerton Conference on Communication, Control, and Computing
2016
Awan Asad Ullah; Zamani Majid
On a notion of estimation entropy for stochastic hybrid systems
The 54th Annual Allerton Conference on Communication, Control, and Computing, USA
2016
Jagtap Pushpak; Zamani Majid
On incremental stability of time-delayed stochastic control systems
The 54th Annual Allerton Conference on Communication, Control, and Computing
2016
Rungger, Matthias;Zamani, Majid
SCOTS
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16
Association for Computing Machinery (ACM)
2016
Reissig, Gunther;Weber, Alexander;Rungger, Matthias
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
IEEE Transactions on Automatic Control
2016
1-1
Rungger M.; Zamani M.
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
IEEE Transactions of Control of Networked Systems
2016
Sortieren nach:
und:
weiter