A new version of UltraDES was released this week. In the new version, some new algorithms are implemented such as:
- Supervisor Reduction (algorithm in [1])
- Localized Supervisory Control (algorithm in Chapter 2 of [2])
- Petri Nets basic functions
UltraDES 2.2 can be downloaded at github.com/lacsed/ultrades
Also, UltraDES was integrated with Python, in a more user-friendly version. Check it at github.com/lacsed/UltraDES-Python.
[1] Su, Rong and Wonham, W.M., 2004. Supervisor Reduction for Discrete-Event Systems. Discrete Event Dynamic Systems: Theory and Applications, 14, p. 31-53. [2] Cai, K. and Wonham, W.M. 2016,Supervisor Localization –A Top-Down Approach to Distributed Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, 459.