Author:
Fribourg L.,Kühne U.,Soulat R.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference21 articles.
1. Asarin E, Bournez O, Dang T, Maler O, Pnueli A (2000) Effective synthesis of switching controllers for linear systems. Proc IEEE, Spec Issue Hybrid Syst 88(7):1011–1025
2. Beccuti A, Papafotiou G, Morari M (2005) Optimal control of the boost dc-dc converter. In: Proceedings of 44th IEEE conference on decision and control European control conference (CDC-ECC ’05), 4457–4462, Dec 2005
3. Buisson J, Richard P-Y, Cormerais H (2005) On the stabilisation of switching electrical power converters. In: HSCC, vol. 3414 LNCS, pp 184–197
4. Cámara J, Girard A, Gößler G (2011) Safety controller synthesis for switched systems using multi-scale symbolic models. In: Proceedings of 50th IEEE conference on decision and control (CDC-ECC ’11), 520–525
5. Corronc EL, Girard A, Goessler G (2013) Mode sequences as symbolic states in abstractions of incrementally stable switched systems. In: CDC, IEEE, pp 3225–3230
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献