2018 Working Papers
Recently Added
Subscribe (RSS 1.0)-
Verification of the diagnosability of discrete-event systems in waters
(Department of Computer Science, The University of Waikato, 2018-11-21)The task of detecting faults and reacting to them appropriately is a crucial aspect of a building a stable system. If a fault cannot be directly observed, its occurrence must be inferred from what can be observed. In the ... -
Using augmented reality to enhance children’s books
(Department of Computer Science, The University of Waikato, 2018)This paper reports a case study on using Augmented Reality in children's books in which we explored the use of various types of interactions at different levels. The paper describes the design process and the insights ... -
Framework and proofs for synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
(Department of Computer Science, The University of Waikato, 2018)This working paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable ... -
The explicit conflict check algorithm implemented in the Waters library
(Department of Computer Science, The University of Waikato, 2018)This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable ...
