Pages that link to "Item:Q843993"
From MaRDI portal
The following pages link to Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993):
Displayed 11 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- String execution time for finite languages: max is easy, min is hard (Q642653) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- Towards a tropical automaton product minimizing global completion times (Q2204142) (← links)
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems (Q2348373) (← links)
- Compositions of (max,+) automata (Q2348374) (← links)
- Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (Q5026795) (← links)
- Modeling and analysis of switching max-plus linear systems with discrete-event feedback (Q6080682) (← links)