Compositional Synthesis of Safety Controllers

Computer Science

• Algorithms 100%
• Models 40%
• Contexts 33%
• Component Model 26%
• Control 26%
• Scalability 20%
• Partial Observability 20%
• Computation 13%
• Control Strategy 13%
• Internal State 6%
• Synthesis Algorithm 6%
• Memory Requirement 6%
• State Machine 6%
• Beneficial Effect 6%
• Experimental Result 6%
• Time Requirement 6%
• Research Question 6%
• Global Constraint 6%
• Procedures 6%
• Process Synthesis 6%
• Problem Instance 6%