Compositional abstraction-based synthesis for cascade discrete-time control systems. Saoud, A., Jagtap, P., Zamani, M., & Girard, A. In IFAC-PapersOnLine, volume 51, pages 13–18, Oxford, Uk, 2018. Elsevier. Paper doi abstract bibtex Abstraction-based synthesis techniques are limited to systems with moderate size. Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems. Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition. Then, we provide a compositional controller synthesis for cascade interconnection. Finally, we demonstrate the applicability and effectiveness of the results using a numerical example and compare it with different abstraction and controller synthesis schemes.
@inproceedings{saoud_compositional_2018,
address = {Oxford, Uk},
title = {Compositional abstraction-based synthesis for cascade discrete-time control systems},
volume = {51},
copyright = {CC0 1.0 Universal Public Domain Dedication},
url = {https://linkinghub.elsevier.com/retrieve/pii/S2405896318311169},
doi = {10.1016/j.ifacol.2018.08.003},
abstract = {Abstraction-based synthesis techniques are limited to systems with moderate size. Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems. Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition. Then, we provide a compositional controller synthesis for cascade interconnection. Finally, we demonstrate the applicability and effectiveness of the results using a numerical example and compare it with different abstraction and controller synthesis schemes.},
language = {en},
urldate = {2018-11-01TZ},
booktitle = {{IFAC}-{PapersOnLine}},
publisher = {Elsevier},
author = {Saoud, Adnane and Jagtap, Pushpak and Zamani, Majid and Girard, Antoine},
year = {2018},
pages = {13--18}
}
Downloads: 0
{"_id":"obMmMJebb2DruqMAF","bibbaseid":"saoud-jagtap-zamani-girard-compositionalabstractionbasedsynthesisforcascadediscretetimecontrolsystems-2018","downloads":0,"creationDate":"2018-11-01T21:44:25.028Z","title":"Compositional abstraction-based synthesis for cascade discrete-time control systems","author_short":["Saoud, A.","Jagtap, P.","Zamani, M.","Girard, A."],"year":2018,"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/Pushpak17","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Oxford, Uk","title":"Compositional abstraction-based synthesis for cascade discrete-time control systems","volume":"51","copyright":"CC0 1.0 Universal Public Domain Dedication","url":"https://linkinghub.elsevier.com/retrieve/pii/S2405896318311169","doi":"10.1016/j.ifacol.2018.08.003","abstract":"Abstraction-based synthesis techniques are limited to systems with moderate size. Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems. Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition. Then, we provide a compositional controller synthesis for cascade interconnection. Finally, we demonstrate the applicability and effectiveness of the results using a numerical example and compare it with different abstraction and controller synthesis schemes.","language":"en","urldate":"2018-11-01TZ","booktitle":"IFAC-PapersOnLine","publisher":"Elsevier","author":[{"propositions":[],"lastnames":["Saoud"],"firstnames":["Adnane"],"suffixes":[]},{"propositions":[],"lastnames":["Jagtap"],"firstnames":["Pushpak"],"suffixes":[]},{"propositions":[],"lastnames":["Zamani"],"firstnames":["Majid"],"suffixes":[]},{"propositions":[],"lastnames":["Girard"],"firstnames":["Antoine"],"suffixes":[]}],"year":"2018","pages":"13–18","bibtex":"@inproceedings{saoud_compositional_2018,\n\taddress = {Oxford, Uk},\n\ttitle = {Compositional abstraction-based synthesis for cascade discrete-time control systems},\n\tvolume = {51},\n\tcopyright = {CC0 1.0 Universal Public Domain Dedication},\n\turl = {https://linkinghub.elsevier.com/retrieve/pii/S2405896318311169},\n\tdoi = {10.1016/j.ifacol.2018.08.003},\n\tabstract = {Abstraction-based synthesis techniques are limited to systems with moderate size. Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems. Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition. Then, we provide a compositional controller synthesis for cascade interconnection. Finally, we demonstrate the applicability and effectiveness of the results using a numerical example and compare it with different abstraction and controller synthesis schemes.},\n\tlanguage = {en},\n\turldate = {2018-11-01TZ},\n\tbooktitle = {{IFAC}-{PapersOnLine}},\n\tpublisher = {Elsevier},\n\tauthor = {Saoud, Adnane and Jagtap, Pushpak and Zamani, Majid and Girard, Antoine},\n\tyear = {2018},\n\tpages = {13--18}\n}\n\n","author_short":["Saoud, A.","Jagtap, P.","Zamani, M.","Girard, A."],"key":"saoud_compositional_2018","id":"saoud_compositional_2018","bibbaseid":"saoud-jagtap-zamani-girard-compositionalabstractionbasedsynthesisforcascadediscretetimecontrolsystems-2018","role":"author","urls":{"Paper":"https://linkinghub.elsevier.com/retrieve/pii/S2405896318311169"},"downloads":0,"html":""},"search_terms":["compositional","abstraction","based","synthesis","cascade","discrete","time","control","systems","saoud","jagtap","zamani","girard"],"keywords":[],"authorIDs":[],"dataSources":["BKuLzGXKTqa9eYP2K"]}