CONTROL SYNTHESIS IN HYBRID SYSTEMS WITH FINSLER DYNAMICS

Wolf Kohn, Vladimir Brayman, Anil Nerode

2002 · 10 citations · 4 references

Concepts

Abstract

Abstract. This paper is concerned with a symbolic-based synthesis of feedback control policies for hybrid and continuous dynamic systems. A key step in our synthesis procedure is a new method to solve the following dynamic programming problem: (1)

References

4