Emilia Villani
Emilia Villani
Bestätigte E-Mail-Adresse bei ita.br
Titel
Zitiert von
Zitiert von
Jahr
Modelling and analysis of hybrid supervisory systems: a Petri net approach
E Villani, PE Miyagi, R Valette
Springer Science & Business Media, 2007
922007
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
452012
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
382005
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
252013
Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes.
E Villani
Universidade de São Paulo, 2000
252000
Modelagem e análise de sistemas supervisórios híbridos.
E Villani
Universidade de São Paulo, 2004
192004
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 (4), 341-350, 2002
192002
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
182013
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
182006
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
162011
A comparison of industrial robots interface: force guidance system and teach pendant operation
GB Rodamilans, E Villani, LG Trabasso, WR de Oliveira, R Suterio
Industrial Robot: An International Journal, 2016
152016
Errors on space software requirements: A field study and application scenarios
PC Véras, E Villani, AM Ambrosio, N Silva, M Vieira, H Madeira
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
152010
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 (1), 39-68, 2014
132014
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
132006
A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm
F Junqueira, E Villani, PE Miyagi
2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 8 pp …, 2005
112005
Object oriented approach for cane sugar production: modelling and analysis
E Villani, JC Pascal, PE Miyagi, R Valette
Control Engineering Practice 12 (10), 1279-1289, 2004
112004
Mecatrônica como solução de automação
PE Miyagi, E Villani
Revista Ciências Exatas, 2004
112004
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 (5-8 …, 2017
102017
Specification, implementation and verification of dynamic group membership for vehicle coordination
M Asplund, J Lövhall, E Villani
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
102017
System safety assessment based on STPA and model checking
AL Dakwat, E Villani
Safety science 109, 130-143, 2018
92018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20