Safe environmental envelopes of discrete systems

DOI10.1007/978-3-031-37706-8_17zbMATH Open1547.68444MaRDI QIDQ6535638FDOQ6535638

Authors: Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis 

Publication date: 1 February 2024

Recommendations

• Synthesizing robust systems
• Verification of Open Systems
• Specifiable robustness in reactive synthesis
• Robust linear temporal logic
• Robust discrete synthesis against unspecified disturbances

zbMATH Keywords

robustnessmodel uncertaintydiscrete transition systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• On synthesizing robust discrete controllers under modeling uncertainty
• Title not available (Why is that?)
• Automata, logics, and infinite games. A guide to current research
• Supervisory Control of a Class of Discrete Event Processes
• Synthesizing robust systems
• Reaching Agreement in the Presence of Faults
• Robust discrete synthesis against unspecified disturbances
• Title not available (Why is that?)
• Infinite games played on finite graphs
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Control of networked discrete event systems: dealing with communication delays and losses
• Automating the addition of fault tolerance with discrete controller synthesis
• Maximizing robustness of supervisors for partially observed discrete event systems.
• Robust and adaptive supervisory control of discrete event systems
• Robustness of supervisors for discrete-event systems
• Model Uncertainty in Discrete Event Systems
• Robust linear temporal logic
• Robust supervisory control of discrete event systems against intermittent loss of observations
• The modal transition system control problem
• Synthesis of fault-tolerant embedded systems using games: from theory to practice
• Introduction to Discrete Event Systems
• Synthesis of Supervisors Robust Against Sensor Deception Attacks
• Synthesizing optimally resilient controllers
• Lipschitz robustness of finite-state transducers
• Robustness analysis of string transducers
• Safe environmental envelopes of discrete systems

Cited In (2)

• On tolerance of discrete systems with respect to transition perturbations
• Safe environmental envelopes of discrete systems

This page was built for publication: Safe environmental envelopes of discrete systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535638)