Modular supervisory control may lead to conflicts among the modular supervisors for large-
scale discrete event systems. The existing methods for ensuring nonblocking control of …

This paper considers a Markov decision process (MDP) model with safety state constraints,
which specify polytopic invariance constraints on the state probability distribution (pd) for all …

We present novel results on the solution of a class of leavable, undiscounted optimal control
problems in the minimax sense for nonlinear, continuous-state, discrete-time plants. The …

Drug resistance in breast cancer cell populations has been shown to arise through
phenotypic transition of cancer cells to a drug-tolerant state, for example through epithelial …

Modeling and verification are crucial in designing traffic light control systems, guaranteeing
these systems meet desired operational properties and handle dynamic traffic conditions …