Press & Research Highlights
Dionysos: a game-changing solver for control systems
Calbert, Julien, Jungers, Raphaël M., Legat, Benoît
Prof Raphaël Jungers and Benoit Legat, along with their team, have developed Dionysos, a groundbreaking solver for control systems that transforms complex cyber-physical system challenges into simpler combinatorial problems using abstraction-based symbolic modeling, offering a flexible and efficient solution to manage increasing system complexity.
Previous
Page 2 of 2