Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
Xin Chen, Sriram Sankaranarayanan
Topics & Concepts
ReachabilityUndecidable problemCyber-physical systemComputer scienceDecidabilitySet (abstract data type)Physical systemTheoretical computer scienceReachability problemState (computer science)Field (mathematics)Model checkingArtificial intelligenceAlgorithmProgramming languageMathematicsQuantum mechanicsPhysicsPure mathematicsOperating systemFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research