Pages that link to "Item:Q5429317"
From MaRDI portal
The following pages link to On Synthesizing Controllers from Bounded-Response Properties (Q5429317):
Displayed 7 items.
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections (Q3172853) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)