Adaptive controller for networked control systems subjected to random communication delaysSrinivasan, Seshadhri; Saravanakumar, G.; Subathra, B.; Kotta, ÜlleSoft computing applications : proceedings of the 7th International Workshop Soft Computing Applications (SOFA 2016). Vol. 12018 / p. 78-94 https://doi.org/10.1007/978-3-319-62521-8_8 Conference proceedings at Scopus Article at Scopus Article at WOS

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill http://dx.doi.org/10.1016/j.micpro.2015.12.006

Evolutionary optimisation-based fractional order controller for web transport systems in process industriesHaripriya, N.; Kavitha, P.; Srinivasan, Seshadhri; Belikov, JuriInternational Journal of Advanced Intelligence Paradigms2019 / p. 317-330 http://doi.org/10.1504/IJAIP.2018.10006748

Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 Conference proceedings at Scopus Article at Scopus Article at WOS

Learning based personalized energy management systems for residential buildingsSoudari, Mallikarjun; Srinivasan, Seshadhri; Balasubramanian, Subathra; Vain, Jüri; Kotta, ÜlleEnergy and buildings2016 / p. 953-968 : ill http://dx.doi.org/10.1016/j.enbuild.2016.05.059

Model based testing of distributed time critical systemsVain, Jüri; Kanter, Gert; Srinivasan, Seshadhri2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO 2017) : Noida, India 20-22 September 20172017 / p. 99-105 : ill https://doi.org/10.1109/ICRITO.2017.8342406

Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 http://dx.doi.org/10.1016/j.compind.2015.06.012

Model-based maintenance scheduling in flexible modular automation systemsPal, Deepak; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017) : Limassol, Cyprus, 12 - 15 September 2017 : pages 1-6782017 / p. 1203-1208 : ill http://doi.org/10.1109/ETFA.2017.8247738

Predictive smart thermostat controller for heating, ventilation, and air-conditioning systemsSoudari, Mallikarjun; Kaparin, Vadim; Srinivasan, Seshadhri; Seshadhri, Subathra; Kotta, ÜlleProceedings of the Estonian Academy of Sciences2018 / p. 291-299 : ill http://www.kirj.ee/public/proceedings_pdf/2018/issue_3/proc-2018-3-291-299.pdf https://doi.org/10.3176/proc.2018.3.11 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Provably correct configuration management of precision feeding in Agriculture4.0Kanter, Gert; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)2019 / p. 1631–1637 : ill https://doi.org/10.1109/SMC.2019.8914057

Verifying response times in networked automation systems using jitter boundsSrinivasan, Seshadhri; Vain, JüriIEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings2014 / p. 47-50 : ill