Title

Reasoning about co-evolving discrete, continuous and hybrid states

Date of Award

2008

Degree Type

Dissertation

Degree Name

Doctor of Philosophy (PhD)

Department

Electrical Engineering and Computer Science

Keywords

Convergence spaces, Specification logic, Discrete systems, Continuous systems

Subject Categories

Computer Sciences | Physical Sciences and Mathematics

Abstract

In contrast to what we know about controlling, verifying and reasoning about discrete state transition systems and, separately, continuous dynamical systems, we know relatively little about the behavior of even simple hybrid systems, systems consisting of interdependent discrete (e.g. digital) and continuous (e.g analog) components. Logic-based formal techniques are available for discrete systems that enable us to rigorously reason about their evolution over sequences of discrete time. Some of these logics, e.g. S4, have been reinterpreted to act on dynamical systems evolving on continuous time. However, the modeling of hybrid systems has lacked a unified framework that treats both discrete and continuous components of a state in fundamentally the same way. We present a logic for the evolution of hybrid systems in which the notion of time can be discrete, continuous, hybrid or even none of the above. The new logic includes, as special cases, the logics available for discrete and continuous systems.

http://libezproxy.syr.edu/login?url=http://proquest.umi.com/pqdweb?did=1597602201&sid=1&Fmt=2&clientId=3739&RQT=309&VName=PQD