There are 1 Results with the keyword : "Differential Dynamic Logic"
In an automated factory, each equipment or machinery must meet a myriad of constraints. Ensuring that an entire factory chain satisfies these constraints and safety and security regulations requires simulation, test and verification. However, what can be proved when two heterogeneous components, e.g. mechanics and software, interact with each other? How can one prove that this hybrid aggregate also meets common, global, requirements such as, e.g. latency? Such is the question at the crux of a collaboration between Inria and Mitsubishi Electric R&D Centre Europe, two entities located on the same campus, in Rennes, Brittany, France.
- Differential Dynamic Logic
- INRIA Rennes - Bretagne Atlantique
- Simon Lunel
- Jean-Pierre Talpin