Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Tommaso Masciulli"'
Publikováno v:
IEEE Control Systems Letters. 6:464-469
In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general and combines feedforward and output feedback schemes. The proposed controller allo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e47186fadcf01f771c489f80d61e0bf
https://doi.org/10.1109/lcsys.2021.3080627
https://doi.org/10.1109/lcsys.2021.3080627
Publikováno v:
IFAC-PapersOnLine. 53:3928-3933
Data-driven control design for general systems with regular language specifications is addressed. We consider a discrete-time control system described as an abstract system i.e. as a collection of input-state functions. The abstract system is assumed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd79cb6ba3098ff4db9a9263d2f9768b
https://doi.org/10.1016/j.ifacol.2020.12.2245
https://doi.org/10.1016/j.ifacol.2020.12.2245
Autor:
Tommaso Masciulli, Giordano Pola
Publikováno v:
IFAC-PapersOnLine. 53:1844-1849
Formal methods are becoming rather popular in the research community working on hybrid systems because they provide a systematic approach to design complex and heterogeneous systems of interest in e.g. industrial world. In this paper we consider a co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2954c8e67cac69d598c71ff90fa5f0b8
https://doi.org/10.1016/j.ifacol.2020.12.2352
https://doi.org/10.1016/j.ifacol.2020.12.2352
Publikováno v:
Automatica. 134:109903
In this paper we address data-driven control design with regular language specifications for plants described as abstract systems, i.e. as collections of input-state functions. The abstract system is assumed to be suffix and concatenation closed, cau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::822a18814ddba5d8d858fb82baf0e8d3
https://doi.org/10.1016/j.automatica.2021.109903
https://doi.org/10.1016/j.automatica.2021.109903
Autor:
Tommaso Masciulli, Giordano Pola
Publikováno v:
Automatica. 130:109712
In this paper we consider a control problem where the plant is a continuous-time incrementally stable nonlinear system , the controller is modeled as a finite state machine and the specification is modeled as a regular language. In some applications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::239d9e5f9bfd176c308e3adc7ae4f21a
https://doi.org/10.1016/j.automatica.2021.109712
https://doi.org/10.1016/j.automatica.2021.109712