دنبال کردن
Emilia Villani
Emilia Villani
Instituto Tecnológico de Aeronáutica
ایمیل تأیید شده در ita.br
عنوان
نقل شده توسط
نقل شده توسط
سال
Modelling and analysis of hybrid supervisory systems: a Petri net approach‏
E Villani, PE Miyagi, R Valette‏
Springer Science & Business Media, 2007‏
1052007
Analysis of the indoor GPS system as feedback for the robotic alignment of fuselages using laser radar measurements as comparison‏
G Mosqueira, J Apetz, KM Santos, E Villani, R Suterio, LG Trabasso‏
Robotics and Computer-Integrated Manufacturing 28 (6), 700-709, 2012‏
812012
System safety assessment based on STPA and model checking‏
AL Dakwat, E Villani‏
Safety science 109, 130-143, 2018‏
782018
Relevant factors for the energy consumption of industrial robots‏
RR Garcia, AC Bittencourt, E Villani‏
Journal of the Brazilian Society of Mechanical Sciences and Engineering 40, 1-15, 2018‏
412018
A Petri net-based object-oriented approach for the modelling of hybrid productive systems‏
E Villani, JC Pascal, PE Miyagi, R Valette‏
Nonlinear Analysis: Theory, Methods & Applications 62 (8), 1394-1418, 2005‏
402005
A method to improve the use of 6-dof robots as machine tools‏
LFF Furtado, E Villani, LG Trabasso, R Sutério‏
The International Journal of Advanced Manufacturing Technology 92, 2487-2502, 2017‏
372017
Manufacture equipment retrofit to allow usage in the industry 4.0‏
DH Arjoni, FS Madani, G Ikeda, GM Carvalho, LB Cobianchi, ...‏
2017 2nd international conference on Cybernetics, Robotics and Control (CRC …, 2017‏
372017
On reliability analysis of leader election protocols for virtual traffic lights‏
N Fathollahnejad, E Villani, R Pathan, R Barbosa, J Karlsson‏
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013‏
322013
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector‏
JMS Anjos, GK Coracini, E Villani‏
Advances in Engineering Software 55, 32-44, 2013‏
312013
Integrating model checking and model based testing for industrial software development‏
E Villani, RP Pontes, GK Coracini, AM Ambrósio‏
Computers in Industry 104, 88-102, 2019‏
292019
Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection‏
KR da Silva Santos, E Villani, WR de Oliveira, A Dttman‏
Robotics and Computer-Integrated Manufacturing 73, 102237, 2022‏
272022
Modelagem e análise de sistemas supervisórios híbridos.‏
E Villani‏
Universidade de São Paulo, 2004‏
262004
Abordagem hÃbrida para modelagem de sistemas de ar condicionado em edifÃcios inteligentes.‏
E Villani‏
Universidade de Sã o Paulo, 2000‏
262000
A comparison of industrial robots interface: force guidance system and teach pendant operation‏
GB Rodamilans, E Villani, LG Trabasso, WR Oliveira, R Suterio‏
Industrial Robot: An International Journal 43 (5), 552-562, 2016‏
252016
Petri net approach for modelling system integration in intelligent buildings‏
PE Miyagi, E Villani, GDB Gustin, N Maruyama, DJ Santos Filho‏
Journal of The Brazilian Society of Mechanical Sciences 24, 341-350, 2002‏
232002
Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry‏
AJC De Aguiar, E Villani, F Junqueira‏
Robotics and Computer-Integrated Manufacturing 27 (5), 929-941, 2011‏
202011
Hybrid stochastic approach for the modelling and analysis of fire safety systems‏
E Villani, PI Kaneshiro, PE Miyagi‏
Nonlinear Analysis: Theory, Methods & Applications 65 (6), 1123-1149, 2006‏
202006
Contributions of model checking and CoFI methodology to the development of space embedded software‏
RP Pontes, PC Véras, AM Ambrosio, E Villani‏
Empirical Software Engineering 19, 39-68, 2014‏
182014
Landing system verification based on petri nets and a hybrid approach‏
E Villani, PE Miyagi, R Valette‏
IEEE Transactions on Aerospace and Electronic Systems 42 (4), 1420-1436, 2006‏
182006
Augmented reality for training formation flights: An analysis of human factors‏
DH Arjoni, I de Souza Rehder, JMP Figueira, E Villani‏
Heliyon 9 (3), 2023‏
152023
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20