Daniel Rivas
Papers
1
Total Citations
6
H-Index
1
About
Daniel Rivas is a researcher in control systems and industrial automation, with a focus on the synthesis and modeling of complex distributed controllers. His key research areas include extended finite state machines (EFSM), state stack architectures, and the formal design of automation systems for industrial plants. Rivas’s major contribution lies in addressing the challenging problem of controller synthesis by integrating state stacks with EFSM models, enabling more scalable and structured representations of distributed system behaviors. His most-cited work, "Synthesis of Controllers from Finite State Stack Machine Diagrams" (2018, 6 citations), introduces a novel approach that bridges the gap between theoretical state machine models and practical industrial automation needs. This work has been recognized for its potential to streamline the design of reliable controllers in complex environments. Rivas’s research continues to influence the development of formal methods in automation, offering practical tools for engineers and researchers working on the next generation of distributed control systems.
Research Focus
Key Achievements
Top Papers
- 1Synthesis of Controllers from Finite State Stack Machine Diagrams6 citations · 2018