Presentation on theme: "We build generic tools for automated diagnosis & reconfiguration of distributed dynamic systems Model-Based Supervision of Composite Systems Modularity."— Presentation transcript:
We build generic tools for automated diagnosis & reconfiguration of distributed dynamic systems Model-Based Supervision of Composite Systems Modularity Diagnosis systems in use often rely on alarm correlation and expert reasoning. They are difficult to maintain as any change in a component or the system's organisation may invalidate the expertise. This can lead to prohibitive re-development costs. In contrast, we use model-based reasoning from a library of component models. When a component is upgraded or added to the system, only its model changes or gets added to the component library. The supervision software does not change. Contact: Sylvie.Thiebaux@nicta.com.au SuperCom Flexibility The technology can be tailored to applications with different real-time and space requirements. This is achieved by applying a spectrum of methods. These range from slower but space- efficient cooperative methods based on the component models, to the automatic off-line compilation of the component models into diagnosers and controllers, which provide very efficient on-line supervision. Scalability State of the art model-based diagnosis techniques typically handle discrete-event systems of the order of 10 6 states. Our approach scales up to 10 100 states. This is achieved via: 1. The application of powerful data structures and algorithms originally developed for artificial intelligence and computer aided verification. These include binary decision diagrams (BDDs), satisfiability (SAT) and knowledge compilation algorithms. 2. New problem partitioning techniques; which automatically decompose the problem into smaller, loosely coupled subproblems that are solved in a cooperative fashion. The partitioning makes use of join trees, decomposition trees, and time-slicing. Scope To achieve optimal performance, complex dynamic systems need supervision tools which can accurately diagnose problems and reconfigure the system so that service is restored until the original problem is fixed. NICTA's SuperCom project develops efficient algorithms and tools to help in fault diagnosis and reconfiguration into the most efficient interim system. The technology is targeted at distributed dynamic systems in which a complex combination of symptoms, possibly over a long time span, has to be observed and analysed in order to infer a faulty or subopotimal behaviour. It can be tailored to improve the quality of service in different application areas, including manufacturing, power distribution, computer networks, transport, smart houses, and telecommunication. We are looking for an industrial partner We offer an initial 3-6 months feasibility study to apply our technology to a concrete problem, with the intention to further develop, commercialise, and bring the technology to production use in the future. We need (and can help building) an adequate model of the actual system (or a part of it), and continuing expert support in the application area to model and test our technology. transport spyware smart homes power supply telecommunication manufacturing sensor data, alarms, logs reconfiguration fault identification
Your consent to our cookies if you continue to use this website.