Pages that link to "Item:Q3745691"
From MaRDI portal
The following pages link to Control problems in a temporal logic framework (Q3745691):
Displaying 12 items.
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Program Repair for Hyperproperties (Q3297603) (← links)
- Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems (Q3980078) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- Decidability for a temporal logic used in discrete-event system analysis (Q5752401) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
