Towards Efficient Exact Synthesis for Linear Hybrid Systems

Details Towards Efficient Exact Synthesis for Linear Hybrid Systems Towards Efficient Exact Synthesis for Linear Hybrid Systems

2011-06-07

arxiv.org/abs/1106.1246v1

EPTCS 54, 2011, pp. 263-277

Computer Science

Logic in Computer Science

In Proceedings GandALF 2011, arXiv:1106.0814

Scientific paper

10.4204/EPTCS.54.19

We study the problem of automatically computing the controllable region of a Linear Hybrid Automaton, with respect to a safety objective. We describe the techniques that are needed to effectively and efficiently implement a recently-proposed solution procedure, based on polyhedral abstractions of the state space. Supporting experimental results are presented, based on an implementation of the proposed techniques on top of the tool PHAVer.

Affiliated with

Also associated with

No associations

Rating

Towards Efficient Exact Synthesis for Linear Hybrid Systems 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 Towards Efficient Exact Synthesis for Linear Hybrid Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards Efficient Exact Synthesis for Linear Hybrid Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-26187