![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Physical oracles: Measurement, complexity and cyber-physical systems
Physical oracles: Measurement, complexity and cyber-physical systemsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Taylor. Turing’s mythological 1939 idea of oracle postulated a device that was not a Turing machine and lay outside the formal idea of algorithms. The oracle is a source of information for an algorithm. Suppose that the oracle is a physical process or experiment – a ‘physical oracle’. As a physical process, this oracle is subject to errors and time delays, and further can be analysed using one or more competing physical theories that allow us to understand its behaviour. We can look at interactions between algorithms and the physical world in two ways: (i) a physical oracle assists a computation (e.g. an analogue computer), or (ii) a computer controls an experiment. We can draw conclusions for both the theories of measurement and complexity. Reasonable assumptions suggest a limit of the non-uniform complexity class BPP //log* for an algorithm assisted by a physical oracle. Cyber-physical systems can be viewed as consisting of algorithms communicating with a mixture of other algorithms and physical oracles. We consider the consequences of the limitations on physical oracles on cyber-physical systems, and in particular the idea of splitting physical systems into modes for the purposes of control theory. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsMedical Imaging Research Seminars Algebra Reading Group on Sporadic Groups Molecular and Medical Physics Seminar SeriesOther talksTBA TBA Life : it’s out there, but what and why ? The tragic destiny of Mileva Marić Einstein Width parameters and the maximum independent set problem Let there be light: Illuminating neutron star mergers with radiative transfer simulations |