Author:
Kido Kengo,Sedwards Sean,Hasuo Ichiro
Publisher
Springer International Publishing
Reference21 articles.
1. Abbas, H., Fainekos, G.E.: Towards composition of conformant systems. CoRR abs/1511.05273 (2015)
2. Abbas, H., Mittelmann, H.D., Fainekos, G.E.: Formal property verification in a conformance testing framework. In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, 19–21 October 2014, pp. 155–164 (2014)
3. Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Trans. Autom. Control 47(3), 410–421 (2002)
4. Beccuti, A.G., Papafotiou, G., Morari, M.: Optimal control of the boost dc-dc converter. In: Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4457–4462, December 2005
5. Borri, A., Pola, G., Di Benedetto, M.D.: A symbolic approach to the design of nonlinear networked control systems. In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2012, pp. 255–264. ACM, New York (2012)