Number of the records: 1
Decentralized control of product (max+)-automata using coinduction
- 1.
SYSNO ASEP 0386937 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Decentralized control of product (max+)-automata using coinduction Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Source Title Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). - Guadalajara : IFAC, 2012 / Ramírez-Treviño A. ; López-Mellado E. ; Lesage J.-J. - ISBN 978-3-902823-28-1 Pages s. 122-127 Number of pages 6 s. Publication form Online - E Action 11th International Workshop on Discrete Event Systems (WODES 2012) Event date 03.10.2012-05.10.2012 VEvent location Guadalajara Country MX - Mexico Event type WRD Language eng - English Country MX - Mexico Keywords (max,+) automata ; decentralized control ; coalgebra Subject RIV BA - General Mathematics R&D Projects GAP103/11/0517 GA ČR - Czech Science Foundation (CSF) Institutional support MU-W - RVO:67985840 EID SCOPUS 84881075448 DOI https://doi.org/10.3182/20121003-3-MX-4033.00023 Annotation Max,+ -automata are weighted automata over the (max,+) semiring. Deterministic (max,+)-automata are sequential models that need to be composed in order to model concurrent timed systems. In this paper, the synchronous product and the supervised product are defined by coinduction. Maximally permissive timed control then amounts to compute residuation of the supervised product that is defined by coinduction. It is proven by coinduction that the definition of maximally permissive timed control is correct. We apply this co-algebraic framework to decentralized control of product (max,+) automata. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2013
Number of the records: 1