“…Despite the well-known complexity shortcomings of timed transition graphs as TDES models (Knap, 2001;Gohari and Wonham, 2003), the real-time nonblocking control theory (Brandin and Wonham, 1994) and its subsequent developments form a mathematically rigorous body of conceptually rich work based on this graph model. These developments include work on supervisor reduction (Gohari and Wonham, 2003), efficient control synthesis using binary decision diagrams (BDD's) (Saadatpoor and Wonham, 2007), control under partial observation (Lin and Wonham, 1995;Cai et al, 2014), nonblocking control with communication delay (Park and Cho, 2008), specification automaton transparency for validation (Dhananjayan and Seow, 2015) and translation (Dhananjayan and Seow, 2014) from a class of real-time temporal logic, decentralized control Takai, 2011, 2013;Sadid et al, 2014), modular control (Ho, 2003;Schafaschek et al, 2017), localized or distributed control (Zhang et al, 2013) and that with communication delay (Zhang et al, 2014), and hierarchical control (Wong and Wonham, 1996;Saadatpoor, 2009). In our research, we add to this intellectually promising body of real-time control research by extending the monolithic control theory for TDES's (Brandin and Wonham, 1994) to hierarchical control.…”