Quantitative Robustness for Signal Temporal Logic with Time-Freeze Quantifiers von Ghorbel, Bassem, Prabhu, Vinayak S.

Volltext

Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances von Farahani, Samira S., Majumdar, Rupak, Prabhu, Vinayak S., Soudjani, Sadegh

Volltext

Quantitative Temporal Simulation and Refinement Distances for Timed Systems von Chatterjee, Krishnendu, Prabhu, Vinayak S.

Volltext

Quantifying conformance using the Skorokhod metric von Deshmukh, Jyotirmoy V., Majumdar, Rupak, Prabhu, Vinayak S.

Volltext

Quantifying Conformance Using the Skorokhod Metric von Deshmukh, Jyotirmoy V., Majumdar, Rupak, Prabhu, Vinayak S.

Volltext

Digitisation of a moving assembly operation using multiple depth imaging sensors von Prabhu, Vinayak Ashok, Song, Boyang, Thrower, John, Tiwari, Ashutosh, Webb, Phil

Volltext

Design and Evaluation of Clove Oil-Based Self-Emulsifying Drug Delivery Systems for Improving the Oral Bioavailability of Neratinib Maleate von Mahajan, Radhika Rajiv, Ravi, Punna Rao, Marathe, Riya Kamlesh, Dongare, Ajay Gorakh, Prabhu, Apoorva Vinayak, Szeleszczuk, Łukasz

Volltext

Overexpression of a key regulator of lipid homeostasis, Scap, promotes respiration in prostate cancer cells von Prabhu, Anika Vinayak, Krycer, James Robert, Brown, Andrew John

Volltext

Monitoring and Digitising Human-Workpiece Interactions during a Manual Manufacturing Assembly Operation Using Kinect[TM] von Prabhu, Vinayak A, Tiwari, Ashutosh, Hutabarat, Windo, Turner, Christopher

Volltext

Causality Analysis for Concurrent Reactive Systems (Extended Abstract) von Dimitrova, Rayna, Majumdar, Rupak, Prabhu, Vinayak S.

Volltext

Timed Alternating-Time Temporal Logic von Henzinger, Thomas A., Prabhu, Vinayak S.

Volltext

Quantifying Similarities Between Timed Systems von Henzinger, Thomas A., Majumdar, Rupak, Prabhu, Vinayak S.

Volltext

Testing Cyber-Physical Systems through Bayesian Optimization von Deshmukh, Jyotirmoy, Horvat, Marko, Jin, Xiaoqing, Majumdar, Rupak, Prabhu, Vinayak S.

Volltext

Timed Parity Games: Complexity and Robustness von Chatterjee, Krishnendu, Henzinger, Thomas A., Prabhu, Vinayak S.

Volltext

Remote real-time collaboration through synchronous exchange of digitised human–workpiece interactions von Oyekan, John, Prabhu, Vinayak, Tiwari, Ashutosh, Baskaran, Vinubha, Burgess, Mark, Mcnally, Rob

Volltext

Ergonomic evaluation on the manufacturing shop floor: A review of hardware and software technologies von Mgbemena, Chika Edith, Tiwari, Ashutosh, Xu, Yuchun, Prabhu, Vinayak, Hutabarat, Windo

Volltext

Editorial for the Special Issue on Manufacturing Informatics for Intelligent Automation von Tiwari, Ashutosh, Webb, Phil, Prabhu, Vinayak

Volltext

Decision support system enabled by depth imaging sensor data for intelligent automation of moving assemblies von Prabhu, Vinayak Ashok, Muhandri, Narendi, Song, Boyang, Tiwari, Ashutosh

Volltext

Digitisation of manual composite layup task knowledge using gaming technology von Prabhu, Vinayak A., Elkington, Michael, Crowley, Dennis, Tiwari, Ashutosh, Ward, Carwyn

Volltext

Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems von Chatterjee, Krishnendu, Prabhu, Vinayak S.

Volltext