Zobrazeno 1 - 10
of 25
pro vyhledávání: '"André B. Leal"'
Publikováno v:
IEEE Transactions on Automatic Control. 67:5563-5569
Publikováno v:
Annual Reviews in Control. 51:100-110
Fault prognosis of discrete event systems (DES) is an active field of research and has become important due to the high demand on systems’ safety and reliability. The aim of this paper is to provide the state-of-the-art on fault prognosis of DES, a
Autor:
André B. Leal, Benjamin Grando Moreira
Publikováno v:
IFAC-PapersOnLine. 53:282-287
Fault-tolerant controllers keep system operation safe and mitigate the effects of a system malfunction, while the notion of safe fault-tolerant control is also concerned with not driving the system into an unsafe post-fault situation. In this paper,
Publikováno v:
ETFA
The search for making industrial systems smarter is a chalenge present in the Industry 4.0 scope. In this new industrial era, the automation processes operate in a more flexible and adaptable way, even if there is a system fault. However, depending o
Publikováno v:
ICRA
Supervisory Control Theory (SCT) provides a formal framework for controlling discrete event systems. It has recently been used to generate correct-by-construction controllers for swarm robotics systems. Current SCT frameworks are limited, as they sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87c9cc68ff27e4fe0b468f8bee32e467
Publikováno v:
IFAC-PapersOnLine. 50:12359-12365
The aim of this paper is to report a new concept of safe controllability using prognosis to deal with problems of fault tolerant control in the framework of discrete event systems modeled as automata. To achieve this goal, a necessary and sufficient
Autor:
André B. Leal, Eduardo Alves Portela Santos, Agnelo Denis Vieira, José E. R. Cury, Max H. de Queiroz, Amaro Duarte de Paula Neto
Publikováno v:
IEEE Transactions on Control Systems Technology. 25:175-191
This paper faces the problem of coordinating equipment operation in a flexible manufacturing system consisting of several subsystems including robots, assembling machines, CNC lathes, and mills. There are two main problems in such a system. The first
Publikováno v:
ICIT
This paper presents an application of supervisory control theory (SCT) of discrete event systems to the formal design of a controller for a didactic manufacturing cell. The local modular approach is used to synthesise the supervisors, and the obtaine
Autor:
Renan Sebem, André B. Leal
Publikováno v:
Anais do 14º Simpósio Brasileiro de Automação Inteligente.
Publikováno v:
IFAC-PapersOnLine. 49:240-245
This paper presents a methodology for modeling and controlling autonomous mobile robots and illustrates this approach using a sumo robot problem. The free behavior of the robot and its control specifications are modeled by finite state machines, and