ABSTR-REFINEMENT

Toolbox in development for incremental synthesis of correct-by-construction switching protocols.

Functionality

• Synthesis methods for augmented finite transition systems.
• Abstraction tools based on hyper boxes.
• Demonstrating examples.

Authors

Petter Nilsson, University of Michigan, [email protected]

References

• Nilsson, P and Ozay, N, "Incremental Synthesis of Switching Protocols via Abstraction Refinement", Proc. of IEEE CDC, 2014, to appear