Cargando…
Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response
This work describes an approach for synthesizing state-feedback controllers for discrete-time systems, taking into account performance aspects. The proposed methodology is based on counterexample-guided inductive synthesis (CEGIS), producing safe controllers based on step response performance requir...
Autores principales: | Cavalcante, Thiago, Bessa, Iury, Lima Filho, Eddie B. de, Cordeiro, Lucas C. |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Nature Publishing Group UK
2022
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9474889/ https://www.ncbi.nlm.nih.gov/pubmed/36104388 http://dx.doi.org/10.1038/s41598-022-19284-4 |
Ejemplares similares
-
Automated formal synthesis of provably safe digital controllers for continuous plants
por: Abate, Alessandro, et al.
Publicado: (2019) -
Semi-formal Reformulation of Requirements for Formal Property Verification
por: Ceesay-Seitz, Katharina, et al.
Publicado: (2020) -
Bayesian tsunami fragility modeling considering input data uncertainty
por: De Risi, Raffaele, et al.
Publicado: (2016) -
Comment on: “Understanding required to consider AI applications to the field of ophthalmology”
por: Martins, Thiago Goncalves dos Santos
Publicado: (2022) -
The Dynamic and Fragile Nature of Eyewitness Memory Formation: Considering Stress and Attention
por: Wulff, Alia N., et al.
Publicado: (2021)