Number of the records: 1  

Residuation of tropical series: rationality issues

  1. 1.
    SYSNO ASEP0370192
    Document TypeC - Proceedings Paper (int. conf.)
    R&D Document TypeConference Paper
    TitleResiduation of tropical series: rationality issues
    Author(s) Badouel, E. (FR)
    Bouillard, A. (FR)
    Darondeau, P. (FR)
    Komenda, Jan (MU-W) RID, SAI, ORCID
    Source TitleProceedings of the 50th IEEE Conference on Decision and Control and European Control Conference. - New York : IEEE, 2011 / Chong E.K.P. ; Polycarpou M.M. - ISBN 978-1-4673-0457-3
    Pagess. 3855-3861
    Number of pages7 s.
    Action50th IEEE Conference on Decision and Control and European Control Conference
    Event date12.12.2011-15.12.2011
    VEvent locationOrlando
    CountryUS - United States
    Event typeWRD
    Languageeng - English
    CountryUS - United States
    Keywords(max,+) formal power series ; residuation ; rationality ; decidability
    Subject RIVBA - General Mathematics
    R&D ProjectsGAP103/11/0517 GA ČR - Czech Science Foundation (CSF)
    CEZAV0Z10190503 - MU-W (2005-2011)
    UT WOS000303506204077
    EID SCOPUS84860652234
    DOI10.1109/CDC.2011.6160228
    AnnotationDecidability of existence, rationality of delay controllers and robust delay controllers are investigated for systems with time weights in the tropical and interval semirings. Depending on the (max,+) or (min,+)-rationality of the series specifying the controlled system and the control objective, cases are identified where the controller series defined by residuation is rational, and when it is positive (i.e., when delay control is feasible). When the control objective is specified by a tolerance, i.e. by two bounding rational series, a nice case is identified in which the controller series is of the same rational type as the system specification series.
    WorkplaceMathematical Institute
    ContactJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Year of Publishing2012
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.