Skip to main content

Research Repository

Advanced Search

All Outputs (5)

The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods (2019)
Journal Article
Rady, A., Fischer, J., Reeves, S., Logan, B., & James Watson, N. (2020). The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors, 20(1), Article 230. https://doi.org/10.3390/s20010230

Food allergens present a significant health risk to the human population, so their presence must be monitored and controlled within food production environments. This is especially important for powdered food, which can contain nearly all known food... Read More about The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods.

Decidable Model Checking with Uniform Strategies (2019)
Conference Proceeding
Alechina, N., Logan, B., & Dastani, M. (2019). Decidable Model Checking with Uniform Strategies. In Proceedings of the 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, 170--178

The logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic Logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same j... Read More about Decidable Model Checking with Uniform Strategies.

Strategic Responsibility Under Imperfect Information (2019)
Conference Proceeding
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600

A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro... Read More about Strategic Responsibility Under Imperfect Information.

Synthesising process controllers from formal models of transformable assembly systems (2019)
Journal Article
De Silva, L., Felli, P., Sanderson, D., Chaplin, J. C., Logan, B., & Ratchev, S. (2019). Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing, 58, 130-144. https://doi.org/10.1016/j.rcim.2019.01.014

When producing complex and highly customisable products in low volumes (or in 'batch sizes of one'), automation of production systems is critical for competitiveness and profitability in high labour-cost economies. To facilitate batch-size-of-one pro... Read More about Synthesising process controllers from formal models of transformable assembly systems.

Unbounded orchestrations of transdeucers for manufacturing (2019)
Conference Proceeding
Alechina, N., Brázdil, T., De Giacomo, G., Felli, P., Logan, B., & Vardi, M. Y. (2019). Unbounded orchestrations of transdeucers for manufacturing.

There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this pap... Read More about Unbounded orchestrations of transdeucers for manufacturing.