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 Robustness for Signal Temporal Logic with Time-Freeze Quantifiers von Ghorbel, Bassem, Prabhu, Vinayak S.

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

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

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

Volltext

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

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

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

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

Volltext

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

Volltext

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

Volltext

Thresholded Lexicographic Ordered Multiobjective Reinforcement Learning von Tercan, Alperen, Prabhu, Vinayak S

Volltext bestellen

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

Volltext

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL) von Ghorbel, Bassem, Prabhu, Vinayak S

Volltext bestellen

Dynamic Alignment Control Using Depth Imagery for Automated Wheel Assembly von Prabhu, Vinayak A., Tiwari, Ashutosh, Hutabarat, Windo, Thrower, John, Turner, Christopher

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

Robust Mission Planning for Underwater Applications: Issues and Challenges von Kothari, Mangal, Pinto, Jose, Prabhu, Vinayak S, Ribeiro, Pedro, de Sousa, João Borges, Sujit, P.B.

Volltext

Sulfoxonium-Ylide-Directed C–H Activation and Tandem (4 + 1) Annulation von Hanchate, Vinayak, Devarajappa, Ravi, Prabhu, Kandikere Ramaiah

Volltext

Synthesis of Naphthols by Rh(III)-Catalyzed Domino C–H Activation, Annulation, and Lactonization Using Sulfoxonium Ylide as a Traceless Directing Group von Hanchate, Vinayak, Kumar, Anil, Prabhu, Kandikere Ramaiah

Volltext