Michael L. Fisher

Learn More
The field of cyanobacterial biofuel production is advancing rapidly, yet we know little of the basic biology of these organisms outside of their photosynthetic pathways. We aimed to gain a greater understanding of how the cyanobacterium Synechocystis PCC 6803 (Synechocystis, hereafter) modulates its cell surface. Such understanding will allow for the(More)
In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification(More)
As ubiquitous computing becomes a reality, its applications are increasingly being used in business-critical, mission-critical and even in safety-critical, areas. Such systems must demonstrate an assured level of correctness. One approach to the exhaustive analysis of the behaviour of systems is formal verification, whereby each important requirement is(More)
We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them(More)
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms , with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification(More)
This position paper describes ongoing work at the Universities of Liverpool, Sheffield and Surrey in the UK on developing hybrid agent architectures for controlling autonomous systems, and specifically for ensuring that agent-controlled dynamic reconfiguration is viable. The work outlined here forms part of the Reconfigurable Autonomy research project.
Researchers have iterated that the future of synthetic biology and biotechnology lies in novel consumer applications of crossing biology with engineering. However, if the new biology's future is to be sustainable, early and serious efforts must be made towards social sustainability. Therefore, the crux of new applications of synthetic biology and(More)