21
TITLE: A formal approach for safe controllers analysis
AUTHORS: Borges, P; Machado, J ; Seabra, E ; Lima, M;
PUBLISHED: 2010, SOURCE: Romanian Review Precision Mechanics, Optics and Mechatronics, ISSUE: 37
INDEXED IN: Scopus
IN MY: ORCID
22
TITLE: A PARAMETRIC STUDY ON THE BAUMGARTE STABILIZATION METHOD FOR FORWARD DYNAMICS OF CONSTRAINED MULTIBODY SYSTEMS
AUTHORS: Flores, P ; Machado, M ; Seabra, E ; da Silva, MT ;
PUBLISHED: 2010, SOURCE: 7th International Conference on Multibody Systems, Nonlinear Dynamics and Control in PROCEEDINGS OF ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, VOL 4, PTS A-C, VOLUME: 4, ISSUE: PART A
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Hybrid plant modeling for discrete controllers analysis: A case study  Full Text
AUTHORS: Seabra, E ; Machado, J ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: Simulation aspects on the design of automated manufacturing systems
AUTHORS: Seabra, E ; MacHado, J ;
PUBLISHED: 2010, SOURCE: 10th IFAC Workshop on Intelligent Manufacturing Systems, IMS'10 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 10, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
25
TITLE: The role of superior education institutions on post-secondary (non superior) education
AUTHORS: Machado, J ; Seabra, E ; Pelayo, S; Reis, C; Caetano Monteiro, A;
PUBLISHED: 2010, SOURCE: 2010 IEEE Education Engineering Conference, EDUCON 2010 in 2010 IEEE Education Engineering Conference, EDUCON 2010
INDEXED IN: Scopus CrossRef
IN MY: ORCID
26
TITLE: Using Modelica modelling language for physical plant parameters evaluation and optimization: A case study
AUTHORS: Seabra, E ; Machado, J ;
PUBLISHED: 2010, SOURCE: 7th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2010 in ICINCO 2010 - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1
INDEXED IN: Scopus
IN MY: ORCID
27
TITLE: A parametric study on the baumgarte stabilization method for forward dynamics of constrained multibody systems
AUTHORS: Flores, P ; Machado, M; Seabra, E ; Da Silva, MT ;
PUBLISHED: 2009, SOURCE: ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE2009 in Proceedings of the ASME Design Engineering Technical Conference, VOLUME: 4, ISSUE: PARTS A, B AND C
INDEXED IN: Scopus
IN MY: ORCID
28
TITLE: Influence of the baumgarte parameters on the dynamic response of multibody mechanical systems
AUTHORS: Flores, P ; Seabra, E ;
PUBLISHED: 2009, SOURCE: Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
29
TITLE: New trends in aluminium degassing -A comparative study
AUTHORS: Puga, H ; Barbosa, J ; Seabra, E ; Ribeiro, S; Prokic, M;
PUBLISHED: 2009, SOURCE: 4th International Conference on Advances and Trends in Engineering Materials and their Applications, AES-ATEMA'2009 in AES-ATEMA International Conference Series - Advances and Trends in Engineering Materials and their Applications
INDEXED IN: Scopus
IN MY: ORCID
30
TITLE: SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS The Emergency Stop
AUTHORS: Eurico Seabra ; Jose Machado ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 3, VOLUME: 3 SPSMC
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 of 4. Total results: 39.