most citedModel Checking for Closed-Loop Robot Reactive Planning

1 citations · 1 across the 6 of their papers we have counts for

collaborators

6 papers

cs.RO2024

Closed-loop multi-step planning with innate physics knowledge

Giulia Lafratta, Bernd Porr, Christopher Chandler +1

We present a hierarchical framework to solve robot planning as an input control problem. At the lowest level are temporary closed control loops, ("tasks"), each representing a beha…

eess.SP2024

An Empirical Investigation Into the Time and Frequency Response Characteristics of Hopf Resonators

Keziah Milligan, Nicholas J. Bailey, Bernd Porr

We present an empirical investigation of software developed by the Science and Music Research Group at the University of Glasgow. Initially created for musicological applications,…

cs.LO20231 cited

Model Checking for Closed-Loop Robot Reactive Planning

Christopher Chandler, Bernd Porr, Alice Miller +1

In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpos…

cs.LG2023

Prime and Modulate Learning: Generation of forward models with signed back-propagation and environmental cues

Sama Daryanavard, Bernd Porr

Deep neural networks employing error back-propagation for learning can suffer from exploding and vanishing gradient problems. Numerous solutions have been proposed such as normalis…

cs.RO2023

Touch if it's transparent! ACTOR: Active Tactile-based Category-Level Transparent Object Reconstruction

Prajval Kumar Murali, Bernd Porr, Mohsen Kaboli

Accurate shape reconstruction of transparent objects is a challenging task due to their non-Lambertian surfaces and yet necessary for robots for accurate pose perception and safe m…

physics.bio-ph2023

AI based analysis of red blood cells in oscillating microchannels

Andreas Link, a Irene Luna Pardo, Bernd Porr +1

The flow dynamics of red blood cells in vivo in blood capillaries and in vitro in microfluidic channels is complex. Cells can obtain differnet shapes such as discoid, parachute, sl…