Modular requirements for Hierarchical Interface-Based Supervisory Control with multiple levels. - Richard C. Hill; José E. R. Cury; Max Hering de Queiroz; Dawn M. Tilbury (ACC, 2008)

Modular supervisory control with equivalence-based conflict resolution. - Richard C. Hill; Dawn M. Tilbury; Stéphane Lafortune (ACC, 2008)

Incremental hierarchical construction of modular supervisors for discrete-event systems. - Richard C. Hill; Dawn M. Tilbury (Int. J. Control, 2008)

A methodology for modular model-building in discrete automation. - Matteo Sartini; Andrea Paoli; Richard C. Hill; Stéphane Lafortune (ETFA, 2010)

Multi-level hierarchical interface-based supervisory control. - Richard C. Hill; José Eduardo Ribeiro Cury; Max Hering de Queiroz; Dawn M. Tilbury; Stéphane Lafortune (Autom., 2010)

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. - Richard C. Hill; Dawn M. Tilbury; Stéphane Lafortune (Discret. Event Dyn. Syst., 2010)

Planning under abstraction within a supervisory control context. - Richard C. Hill; Stéphane Lafortune (CDC, 2016)

Scaling the formal synthesis of supervisory control software for multiple robot systems. - Richard C. Hill; Stéphane Lafortune (ACC, 2017)

Development of a Multi-Stage Control Strategy for Omnidirectional Mobility in the Presence of Slip. - Jinghan Fu; Richard C. Hill (MWSCAS, 2018)

A Bottom-Up, Top-Down Approach to Formal Control Synthesis for Multi-agent Systems. - Juliana Nogueira Vilela; Richard C. Hill (MWSCAS, 2018)

Hierarchical planning in a supervisory control context with compositional abstraction. - Juliana Nogueira Vilela; Richard C. Hill (Discret. Event Dyn. Syst., 2022)