Titlebook: Hybrid Systems II; Panos Antsaklis,Wolf Kohn,Shankar Sastry Conference proceedings 1995 Springer-Verlag Berlin Heidelberg 1995 Hybrid Syst

表示向下

粗鄙的人

TEM

光亮

Viable control of hybrid systems,o the dynamical law of that phase; when an event occurs, the system makes a transition from one phase to the next. In this paper, we study hybrid systems with nondeterministic discrete and continuous behaviors. We use nondeterministic finite automata to model the discrete behavior and state dependen

ETHER

jettison

宴會(huì)

exorbitant

Programming in hybrid constraint languages, formulas that place constraints upon the temporal evolution of a system. We show the expressiveness of our language by presenting several examples, including a model for the paperpath of a photocopier. We describe an interpreter for our language, and provide traces for some of the example programs.

改良

大罵

Hybrid systems as Finsler manifolds: Finite state control as approximation to connections, architecture ([KN93b], [KN93c]) is based on the notion of hybrid system state. The latter incorporates evolution models using differential or difference equations, logic constraints, and geometric constraints. The set of hybrid states of a hybrid system can be construed in a variety of ways as a di