Concepedia

Gustavo S. Viana

GS

6

Publications

219

Citations

6

H-Index

2017

Active since

Affiliations

Universidade Federal do Rio de Janeiro(Current)

Gustavo S. Viana is an author at Universidade Federal do Rio de Janeiro specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsFormal VerificationReliability EngineeringAutomationProcess ControlRobotics

Publications per year

2017–2023

6

Publications

6

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments

Antonio Galiza Cerdeira Gonzalez, Marcos V. S. Alves, Gustavo S. Viana et al. · IEEE Transactions on Industrial Informatics · 2017 · 103 citations

Engineering, Field Robotics, Autonomous Robots +18

Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications

Gustavo S. Viana, João Carlos Basilio · Automatica · 2019 · 45 citations

Reachability Analysis, Reliability Engineering, Engineering +12

Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata

Gustavo S. Viana, Marcos V. Moreira, João Carlos Basilio · IEEE Transactions on Automatic Control · 2019 · 29 citations

Engineering, Verification, Computational Complexity +16

Codiagnosability of Networked Discrete Event Systems With Timing Structure

Gustavo S. Viana, Marcos V. S. Alves, João Carlos Basilio · IEEE Transactions on Automatic Control · 2021 · 18 citations

Engineering, Verification, Network Analysis +20

Event-Based Automaton Model for identification of discrete-event systems for fault detection

Thiago H. de M.C. Machado, Gustavo S. Viana, Marcos V. Moreira · Control Engineering Practice · 2023 · 13 citations

Reliability Engineering, Engineering, Discrete Event System +13

Rows per page

1–5 of 6