Hybrid Control Loops, A/D Maps, and Dynamic Specifications

Authors:
J. M. Davoren;Thomas Moor;Anil Nerode
Affiliations:
-;-;-
Venue:
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Year:
2002

Citing 6
Cited 1

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations

Discrete Event Dynamic Systems
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

Hybrid Systems
Interface and Controller Design for Hybrid Control Systems

Hybrid Systems II
Robust Controller Synthesis for Hybrid Systems Using Modal Logic

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Rigorous discretization of hybrid systems using process calculi

FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We re-examine the basic hybrid control set-up of a continuous plant in a closed feedback loop with a finite state control automaton and an interface consisting of an A/D map and a D/A map. We address the question of how dynamic specifications can be formulated independently of a particular A/D map, and of the effect of refining an A/D map. The main contribution of this paper is that it extends the framework of supervisory controller synthesis for hybrid systems to include more general dynamic specifications, and demonstrates how to employ known results to solve these synthesis problems.