Sandeep Patil
Sandeep Patil

Sandeep Patil

Universitetslektor
Luleå tekniska universitet
Kommunikations- och beräkningssystem
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

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
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
Publicerad:8 juni 2013
Uppdaterad: 30 augusti 2016
Redigera sidan , Öppnas i nytt fönster/flik