M
M-DES-tools
This is the group for the projects of the UMDES Group at the University of Michigan. These projects comprise tools developed for solving analysis and synthesis problems for discrete event systems (DES).
This is the group for the projects of the UMDES Group at the University of Michigan. These projects comprise tools developed for solving analysis and synthesis problems for discrete event systems (DES).