On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis

Documenti analoghi

• Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
  di: Cui, Bohan, et al.
  Pubblicazione: (2026)
• A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
  di: Cui, Bohan, et al.
  Pubblicazione: (2025)
• On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
  di: Cui, Bohan, et al.
  Pubblicazione: (2024)
• Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
  di: Amri, Omar, et al.
  Pubblicazione: (2025)
• Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
  di: Cui, Bohan, et al.
  Pubblicazione: (2026)