https://omanshuthapliyal.github.io/tags/cyberphysical-systems/Recent content in Cyberphysical-Systems on Omanshu ThapliyalHugoenhttps://omanshuthapliyal.github.io/projects/safety-and-cybersecurity-of-cyberphysical-systems/Mon, 01 Jan 0001 00:00:00 +0000https://omanshuthapliyal.github.io/projects/safety-and-cybersecurity-of-cyberphysical-systems/<h2 id="problem">Problem</h2> <p>Drones, air taxis and robot teams are cyberphysical systems: physical machines run by software and linked by networks. Before they can be trusted in safety-critical airspace, we need to know every state they could reach, and whether any of those states is unsafe. The exact answer comes from solving high-dimensional partial differential equations, which is out of reach once a system is nonlinear, learned from data by a neural network, spread across many agents, or under cyberattack.</p>