Sciweavers

231 search results - page 9 / 47
» Continuity controlled hybrid automata
Sort
View
HYBRID
2004
Springer
15 years 11 months ago
Full Paper Sheet Control Using Hybrid Automata
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka...
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 10 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYBRID
1995
Springer
15 years 9 months ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
HYBRID
2000
Springer
15 years 9 months ago
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
Xenofon D. Koutsoukos, Panos J. Antsaklis