Hoppa till innehållet
Sandeep Patil
Sandeep Patil

Sandeep Patil

Universitetslektor
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
sandeep.patil@ltu.se
0920-493621
A3315 Luleå

Publikationer

Artikel i tidskrift

A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations (2021)

Drozdov. D, Dubinin. V, Patil. S, Vyatkin. V
IEEE Open Journal of the Industrial Electronics Society, Vol. 2, s. 169-183
Konferensbidrag

Arrowhead Datamanager integration with Eclipse 4DIAC environment (2020)

Romanato. M, Drozdov. D, Patil. S, Delsing. J, Vyatkin. V
Ingår i: Proceedings, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1377-1380, IEEE, 2020
Artikel i tidskrift

Automatic state machine reconstruction from legacy PLC using data collection and SAT solver (2020)

Chivilikhin. D, Patil. S, Chukharev. K, Cordonnier. A, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 16, nr. 12, s. 7821-7831
Konferensbidrag

Utilizing Software Design Patterns in Product-Driven Manufacturing System (2020)

A Case Study
Drozdov. D, Atmojo. U, Pang. C, Patil. S, Ali. M, Tenhunen. A, et al.
Ingår i: Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, Proceedings of SOHOMA 2019, s. 301-312, Springer Nature, 2020
Artikel i tidskrift

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems (2019)

Sinha. R, Patil. S, Gomes. L, Vyatkin. V
IEEE Transactions on Industrial Informatics, Vol. 15, nr. 7, s. 3772-3783