Compositions of (max,+) automata
From MaRDI portal
Publication:2348374
DOI10.1007/s10626-014-0186-6zbMath1328.93168OpenAlexW2048575651MaRDI QIDQ2348374
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Publication date: 12 June 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-014-0186-6
Related Items (10)
Determinization of timed Petri nets behaviors ⋮ Introduction to tropical series and wave dynamic on them ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ Towards a tropical automaton product minimizing global completion times ⋮ State estimation of max-plus automata with unobservable events ⋮ Supervisory control of (max,+) automata: extensions towards applications ⋮ Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics ⋮ Compositions of (max,+) automata ⋮ Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra
Cites Work
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- Compositions of (max,+) automata
- Sequential?
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
- Modeling and analysis of timed Petri nets using heaps of pieces
- Discrete, Continuous, and Hybrid Petri Nets
- Performance evaluation of (max,+) automata
- Weighted Automata Algorithms
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
- Asymptotic behavior in a heap model with two pieces
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Compositions of (max,+) automata