Framework Lets Supervisors Enforce Future‑Focused Properties in DES

New framework lets supervisors in discrete‑event systems enforce properties by turning synthesis into a safety game, yielding a permissive supervisor. Read more: getnews.me/framework-lets-superviso... #discreteeventsystems #predictivecontrol

A Life of Software Development: The Year at Harvard and Parallel Programming 1991-1992

My Software Development history continues with my year at Harvard University and the simulation work on massively parallel computers. #harvard #maspar #c #simulation #discreteeventsystems

backtosoftwaredevelopment.substack.com/p/a-life-of-...