Operational Models for Piecewise-Smooth Systems
Abstract
In this article we study ways of constructing meaningful operational models of piecewise-smooth systems (PWS). The systems we consider are described by polynomial vector fields defined on non-overlapping semi-algebraic sets, which form a partition of the state space. Our approach is to give meaning to motion in systems of this type by automatically synthesizing operational models in the form of hybrid automata (HA). Despite appearances, it is in practice often difficult to arrive at satisfactory HA models of PWS. The different ways of building operational models that we explore in our approach can be thought of as defining different semantics for the underlying PWS. These differences have a number of interesting nuances related to phenomena such as chattering, non-determinism, so-called mythical modes and sliding behaviour.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 10, 2017
- Source ID
- 10.1145/3126506
Entities
People
- Andrew Sogokon
- Khalil Ghorbal
- Taylor T. Johnson
Organizations
- Air Force Office of Scientific Research
- Air Force Research Laboratory
- Carnegie Mellon University
- Institut National de Recherche en Informatique et en Automatique
- Vanderbilt University