Controller synthesis & Ordinal Automata

Details Controller synthesis & Ordinal Automata Controller synthesis & Ordinal Automata

2006-08-30

arxiv.org/abs/cs/0608120v2

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06) Springer (Ed.)

Computer Science

Computer Science and Game Theory

with appendix

Scientific paper

Ordinal automata are used to model physical systems with Zeno behavior. Using
automata and games techniques we solve a control problem formulated and left
open by Demri and Nowak in 2005. It involves partial observability and a new
synchronization between the controller and the environment.

Affiliated with

Also associated with

No associations

Rating

Controller synthesis & Ordinal Automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Controller synthesis & Ordinal Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Controller synthesis & Ordinal Automata will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-73897