Pages that link to "Item:Q889006"

The following pages link to Temporal logic model predictive control (Q889006):

Displaying 3 items.

• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
• Optimal control of multi-task Boolean control networks via temporal logic (Q2242936) (← links)