author-photo

Pedro Manuel González del Foyo

Federal University of Pernambuco

15

Papers

53

Citations

Citation Trend

Filter By

Papers (9) Sort By

Journal Conference Others

A Formal Approach to Requirements Engineering of Automated Systems: Facing the Challenge for New Automated Systems

2021 Journal of Control, Automation and Electrical Systems
Show All
- Source
- Cite
- Save
Citations (0)
Abordagem Sistemática para Projeto de Sistemas de Manufatura Flexível baseada em Técnicas Formais

2019
Show All
- Source
- Cite
- Save
Citations (0)
Active load control of large wind turbines using state-space methods and disturbance accommodating control

2018 Energy
Show All
- Source
- Cite
- Save
Citations (18)
USE OF STATE-SPACE MODELING TO EVALUATE AND CONTROL THE MODE SHAPES OF A LARGE-SCALE WIND TURBINE

2018
Show All
- Source
- Cite
- Save
Citations (0)
Requirements Engineering at a Glance: Comparing GORE and UML methods in the design of automated systems

2018
Show All
- Source
- Cite
- Save
Citations (2)
Improving the Verification of Real-Time Systems Using Time Petri Nets

2017 Journal of Control, Automation and Electrical Systems
- Pedro Manuel González del Foyo
- José Reinaldo Silva
Show All
- Source
- Cite
- Save
Citations (1)
VERIFICATION OF AUTOMATED SYSTEMS USING INVARIANTS

2014
Show All
- Source
- Cite
- Save
Citations (3)
Timed Petri Nets

2012
- José Reinaldo Silva
- Pedro Manuel González del Foyo
Show All
- Source
- Cite
- Save
Citations (11)
Some issues in real-time systems verification using time Petri Nets

2011 Journal of The Brazilian Society of Mechanical Sciences and Engineering
- Pedro Manuel González del Foyo
- José Reinaldo Silva
Show All
- Source
- Cite
- Save
Citations (4)