Search Results - "Alves, Marcos V. S."

Codiagnosability of Networked Discrete Event Systems With Timing Structure by Viana, Gustavo S., Alves, Marcos V. S., Basilio, Joao Carlos

“…We address, in this article, the problem of codiagnosability of networked discrete event systems with timing structure (NDESWTS) subject to delays and loss of…”
Get full text

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments by Gonzalez, Antonio G. C., Alves, Marcos V. S., Viana, Gustavo S., Carvalho, Lilian K., Basilio, Joao C.

“…Industry 4.0 is characterized by an increasing dependence on automation and interconnection of systems due to the need for more efficient, autonomous, and…”
Get full text

Supervisory Control of Networked Discrete Event Systems With Timing Structure by Alves, Marcos V. S., Carvalho, Lilian K., Basilio, Joao Carlos

“…In this article, we study the supervisory control problem of networked discrete event systems with timing structure assuming bounded communication delays and…”
Get full text

Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks by Lima, Publio M., Alves, Marcos V. S., Carvalho, Lilian Kawakami, Moreira, Marcos V.

“…Cyber-physical systems (CPSs) integrate computing and communication capabilities to monitor and control physical processes. In order to do so, communication…”
Get full text

Robust supervisory control of discrete event systems against intermittent loss of observations by Alves, Marcos V. S., da Cunha, Antonio E. C., Carvalho, Lilian Kawakami, Moreira, Marcos Vicente, Basilio, João Carlos

“…We address in this paper the design of robust supervisors that are able to cope with intermittent loss of observations and also make the controlled system…”
Get full text

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation by Nunes, Carlos E. V., Moreira, Marcos V., Alves, Marcos V. S., Carvalho, Lilian K., Basilio, João Carlos

“…Failure diagnosis is a crucial task in modern industrial systems, and several works in the literature address this problem by modeling the system as a…”
Get full text

State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks by Alves, Marcos V. S., Basilio, Joao C.

“…In this paper, we extend existing results on detectability of Discrete Event Systems (DES) to Networked Discrete Event Systems (NDES), a class of DES whose…”
Get full text

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage by Alves, Marcos V. S., Carvalho, Lilian K., Basilio, Joao C.

“…In this technical note, we present a new property of relative observability, and based on this property, we propose two algorithms: the first one, that has…”
Get full text

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks by Alves, Marcos V.S., Barcelos, Raphael J., Carvalho, Lilian K., Basilio, João C.

“…Denial-of-Service (DoS) are attacks conducted by malicious agents that consists in disrupting, temporally or indefinitely, the services provided by a…”
Get full text

New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage by Alves, Marcos V. S., Carvalho, Lilian K., Basilio, Joao C.

“…In this paper, we present a new property of relative observability, and based on this property, we propose two algorithms to deal with relative observability…”
Get full text

Network codiagnosability of Discrete-Event Systems subject to event communication delays by Nunes, Carlos E. V., Moreira, Marcos V., Alves, Marcos V. S., Basilio, Joao C.

“…Failure diagnosis is a crucial task in modern industrial systems, and several works in the literature address this problem by modeling the system as a…”
Get full text

State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks by Alves, Marcos V. S., Basilio, Joao C.

“…In this paper, we study detectability problem of Networked Discrete Event Systems (NDES) where the communication between the plant and the agent is carried out…”
Get full text

Supervisory control of timed networked discrete event systems by Alves, Marcos V. S., Carvalho, Lilian K., Basilio, Joao C.

“…In this paper, we study the supervisory control problem of Timed Networked Discrete Event Systems (TNDES) subject to delays and losses of observations. We…”
Get full text