Verification of error recovery specification for distributed data by using colored Petri net

Akatsu, Masaharu; Murata, Tadahiko; Kurihara, Kenzo

doi:10.1109/iscas.1991.176516

Cited by 1 publication

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recent work in reconfigurable control [39,40] is based on real-time assessment and control to identify and respond to candidate failures. Other researchers have also explored formal methods for recovery [41,42,36,43] for systems with discrete or simple continuous dynamics, as well as control synthesis for linear systems recovering a tracking trajectory [44].…”

Section: Recovery From Errormentioning

confidence: 99%

Final LDRD report human interaction with complex systems: advances in hybrid reachability and control.

Oishi¹

2006

View full text Add to dashboard Cite

This document describes new advances in hybrid reachability techniques accomplished during the course of a one-year Truman Postdoctoral Fellowship. These techniques provide guarantees of safety in complex systems, which is especially important in high-risk, expensive, or safety-critical systems. My work focused on new approaches to two specific problems motivated by real-world issues in complex systems: 1) multi-objecitve controller synthesis, and 2) control for recovery from error. Regarding the first problem, a novel application of reachability analysis allowed controller synthesis in a single step to achieve a) safety, b) stability, and c) prevent input saturation. By extending the state to include the input parameters, constraints for stability, saturation, and envelope protection are incorporated into a single reachability analysis. Regarding the second problem, a new approach to the problem of recovery provides a) states from which recovery is possible, and b) controllers to guide the system during a recovery maneuver from an error state to a safe state in minimal time. Results are computed in both problems on nonlinear models of single longitudinal aircraft dynamics and two-aircraft lateral collision avoidance dynamics.3 5560 4

show abstract

Section: Recovery From Errormentioning

confidence: 99%

Final LDRD report human interaction with complex systems: advances in hybrid reachability and control.

Oishi¹

2006

View full text Add to dashboard Cite

show abstract

Verification of error recovery specification for distributed data by using colored Petri net

Cited by 1 publication

References 3 publications

Final LDRD report human interaction with complex systems: advances in hybrid reachability and control.

Final LDRD report human interaction with complex systems: advances in hybrid reachability and control.

Contact Info

Product

Resources

About