• Adaptive LQR controller for Networked Control Systems subjected to random communication delaysSrinivasan, Seshadhri; Vallabhan, Mishiga; Ramaswamy, Srini; Kotta, ÜlleAmerican Control Conference (ACC), 2013 : 17 - 19 June 2013, Washington, DC, USA (2013)2013 / p. 783 - 787 https://doi.org/10.1109/acc.2013.6579931 https://www.scopus.com/sourceid/18692 https://www.scopus.com/record/display.uri?eid=2-s2.0-84883535953&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2Facc.2013.6579931%29&sessionSearchId=f5537800810c8e1f4bbc115ea06ecda6
• 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 https://doi.org/10.1016/j.micpro.2015.12.006 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84969352242&origin=inward&txGid=4c40641a614e2ffeec7c3aaebc03d362 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000375336900004
• Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 https://doi.org/10.1016/j.compind.2015.06.012 https://www.scopus.com/sourceid/19080 https://www.scopus.com/record/display.uri?eid=2-s2.0-84955198753&origin=inward&txGid=b0745f4339cb8b5990384a5fd40c0250 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20IND&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000364893000015
• A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
• 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
• 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