Jüri Vain

Scrub Nurse Robot System—Intraoperative Motion Analysis of a Scrub Nurse and Timed-Automata-Based Model for Surgery

F. Miyawaki, Ken Masamune, Satoshi Suzuki et al. · IEEE Transactions on Industrial Electronics · 2005 · 85 citations

Entire Surgical Procedure, Robot Kinematics, Robotic Systems +24

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane et al. · Microprocessors and Microsystems · 2016 · 34 citations

Cyber Physical Systems, Engineering, Real-time System Design +10

A model-based approach for design and verification of Industrial Internet of Things

N. Muthukumar, Seshadhri Srinivasan, K. Ramkumar et al. · Future Generation Computer Systems · 2019 · 33 citations

Model-based System Engineering, Engineering, Formal Modeling +11

Learning based personalized energy management systems for residential buildings

Mallikarjun Soudari, Seshadhri Srinivasan, Subathra Balasubramanian et al. · Energy and Buildings · 2016 · 29 citations

Built Environment, Engineering, Smart Building +6

Recognition of the Surgeon's Motions During Endoscopic Operation by Statistics Based Algorithm and Neural Networks Based ANARX Models

Sven Nõmm, Eduard Petlenkov, Jüri Vain et al. · IFAC Proceedings Volumes · 2008 · 17 citations

Engineering, Anatomical Model, Surgery +16