José Mendes Machado


AuthID: R-000-8RA

Confirmed Publications: 279



271
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 | ResearcherID | CIÊNCIAVITAE
272
TITLE: THE FINS PROTOCOL FOR COMPLEX INDUSTRIAL APPLICATTIONS A Case Study
AUTHORS: Julio Costa; Nuno Carvalho; Filomena Soares ; 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 2: ROBOTICS AND AUTOMATION, VOLUME: 2 RA
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
273
TITLE: Advanced graphical tools on modelling and control of automation systems
AUTHORS: Seabra, E ; Machado, J ; Flores, P ;
PUBLISHED: 2008, SOURCE: 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing in COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
274
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus Handle
IN MY: ORCID | CIÊNCIAVITAE
275
TITLE: Real-time systems safety control considering Human Machine Interface
AUTHORS: Jose Machado ; Eurico Seabra ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
276
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID | CIÊNCIAVITAE
277
TITLE: Simulation and formal verification of real time systems: A case study
AUTHORS: Eurico Seabra ; Jose Machado ; Jaime Ferreira da Silva; Filomena O Soares ; Celina P Leao ;
PUBLISHED: 2007, SOURCE: 4th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
278
TITLE: A generic approach to build plant models for DES verification purposes
AUTHORS: Machado, J ; Denis, B; J Lesage;
PUBLISHED: 2006, SOURCE: 8th International Workshop on Discrete Event Systems in WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
279
TITLE: Logic controllers dependability verification using a plant model
AUTHORS: Machado, JM ; Denis, B; Lesage, JJ; Faure, JM; Ferreira Da Silva, JCL;
PUBLISHED: 2006, SOURCE: 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 28 of 28. Total results: 279.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service