publicações selecionadas
-
artigo académico
- Reintrepreting the cardiovascular system as a mechanical model. AIP Conference Proceedings. 2013
- Remote physiological systems (RePhyS) laboratory : a didactic learning environment. 3rd Portuguese Bioengineering Meeting, ENBENG 2013 - Book of Proceedings. 2013
- A systematized approach for obtaining a dependable structured specification for an industrial automation system. IEEE International Conference on Industrial Informatics (Indin). 2012
- Evaluation of the mechanical system to produce file cutting edges in a industrial machine : theoretical and experimental approaches. IEEE International Conference on Industrial Informatics (Indin). 2012
- Web-assisted laboratory for control education : remote and virtual environments. Communications in Computer and Information Science. 2012
- Design of an adapted standing frame for rehabilitation of children with mental deficiency. Romanian Review Precision Mechanics, Optics and Mechatronics. 2011
- Using advanced simulation techniques to improve industrial controller's dependability. IEEE International Conference on Industrial Informatics (Indin). 2011
-
artigo de conferência
- Aero-Stabilizer Workbenches for the Teaching of PID Control 2016
- Development of Dependable Controllers in the Context of Machines Design. Lecture Notes in Mechanical Engineering. 2014
- Issues in remote laboratory developments for biomedical engineering education 2013
- Remote Physiological Data Acquisition : from the human body to electromechanical simulators 2013
- Students' perspectives on remote physiological signals acquisition experiments 2013
- A support tool for teaching grafcet : engineering students' perceptions 2012
- A formal approach for aerospace systems control considering SFC specification and C programming language 2011
- Design and development of a feeding aid device to assist people with deficiency 2011
- Partial plant models in formal verification of industrial automation discrete systems 2011
- Supporting requirements formulation in software formal verification 2011
- A formal approach for safe controllers analysis. Romanian Review Precision Mechanics, Optics and Mechatronics. 2010
- A systematized approach to obtain dependable controllers specifications 2010
- An approach for spasticity quantification based on the stretch reflex threshold 2010
- Property patterns for the formal verification of automated production systems 2008
-
artigo de revista
- A Specification Patterns System for Discrete Event Systems Analysis. International Journal of Advanced Robotic Systems. 2013
- A multidisciplinary experience in Remote Physiological Systems laboratory. IEEE Global Engineering Education Conference. 2013
- Teaching kinematics and dynamics of multibody mechanical systems using the object oriented language modelica. IEEE Global Engineering Education Conference. 2009
-
teses