Pages that link to "Item:Q5752401"
From MaRDI portal
The following pages link to Decidability for a temporal logic used in discrete-event system analysis (Q5752401):
Displaying 6 items.
- Event rates and aggregation in hierarchical discrete event systems (Q1186497) (← links)
- Lagrange stability and boundedness of discrete event systems (Q1902501) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Absolute controllability of predicates in discrete event systems (Q4841432) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
