Pages that link to "Item:Q3745691"
From MaRDI portal
The following pages link to Control problems in a temporal logic framework (Q3745691):
Displaying 22 items.
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Verification of logic controllers for continuous plants using timed condition/event-system models (Q1301427) (← 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)
- Representation of a discretely controlled continuous system in tense arithmetic (Q2703755) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints (Q2980278) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- Program Repair for Hyperproperties (Q3297603) (← links)
- Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems (Q3980078) (← links)
- Logical approach to control theory and applications (Q4374110) (← links)
- (Q4733389) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
- Temporal Logic for Programmable Logic Controllers (Q5060076) (← 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)
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088) (← links)
