Abstract: In this paper, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton. In this system, a plant communicates with its supervisor ...
UnitedHealth, still reeling from the murder of one of its top executives, is reportedly facing a Department of Justice investigation.