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
A2413 Luleå

Publikationer

Artikel i tidskrift

Novel development tool for IEC 61499 based on domain-specific languages (2022)

Sorokin. R, Patil. S, Vyatkin. V
IFAC-PapersOnLine, Vol. 55, nr. 2, s. 439-444
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

Cyber-physical automation systems modelling with IEC 61499 for their formal verification (2021)

Xavier. M, Patil. S, Vyatkin. V
Ingår i: Proceedings, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021
Konferensbidrag

Plant Model Generator from Digital Twin for Purpose of Formal Verification (2021)

Xavier. M, Håkansson. J, Patil. S, Vyatkin. V
Ingår i: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021
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