Supervisory control of \((\max,+)\) automata: a behavioral approach

DOI10.1007/s10626-009-0083-6zbMath1180.93068OpenAlexW2087816883MaRDI QIDQ843993

Jean-Louis Boimond, Sébastien Lahaye, Jan Komenda

Publication date: 18 January 2010

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-009-0083-6

zbMATH Keywords

supervisory controlHadamard product\((\max,+)\)-automatasupremal controllable formal power series

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80)

Related Items

Determinization of timed Petri nets behaviors, Coinduction in Concurrent Timed Systems, Modeling and analysis of switching max-plus linear systems with discrete-event feedback, Towards a tropical automaton product minimizing global completion times, String execution time for finite languages: max is easy, min is hard, Performance safety enforcement in strongly connected timed event graphs, Supervisory control of (max,+) automata: extensions towards applications, Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics, New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems, Compositions of (max,+) automata, Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Just in time control of constrained \((max,+)\)-linear systems
• On observability of discrete-event systems
• A theory of timed automata
• Masked prioritized synchronization for interaction and control of discrete event systems
• Series which are both max-plus and min-plus rational are unambiguous
• Supervisory control of timed discrete-event systems
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata