Search Results - "da Cunha, A.E.C."

Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking by da Cunha, A.E.C., Cury, J.E.R.

“…This paper proposes a two-level hierarchical supervisory control scheme for a discrete event system (DES), where the low-level is represented in the standard…”
Get full text

New results on the nonconflict test of modular supervisors by Pena, P.N., da Cunha, A.E.C., Cury, J.E.R., Lafortune, S.

“…This paper presents new contributions on the use of abstractions in modular control of discrete event systems. First, a new strategy, named WoT, is proposed…”
Get full text

The Environment Grail for Supervisory Control of Discrete Event Systems by Reiser, C., da Cunha, A.E.C., Cury, J.E.R.

“…In the Department of Automation and Systems (DAS) of the Federal University of Santa Catarina (UFSC), Brazil, the tool Grail is being used for teaching and…”
Get full text

An assume-guarantee reasoning for hierarchical coordination of discrete event systems by da Cunha, A.E.C., Cury, J.E.R., Krogh, B.H.

“…The construction of a consistent abstraction plays a central role in the hierarchical control of discrete event systems. When constructing a consistent…”
Get full text