Guaranteed State Estimation in CORA 2021

Keyphrases

• Continuous Reachability 100%
• Guaranteed State Estimation 100%
• Linear Dynamics 25%
• Nonlinear Dynamics 25%
• Reachability Analysis 25%
• Reachability Problem 25%
• Safety-critical Systems 25%
• Set Representation 25%
• Tank System 25%
• Tool Presentation 25%

Computer Science

• Reachability Analysis 25%
• Reachability Problem 25%
• Safety Critical Systems 25%
• State Estimation 100%