Hybrid systems II /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Antsaklis, Panos J.
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 999.
Subjects:	Hybrid computers > Congresses. Digital control systems > Congresses. commande hybride. système dynamique hybride. système temps discret. commande processus. système hybride. Digital control systems. Hybrid computers. Commande numérique > Congrès. Commande automatique > Congrès. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Symbolic Controller Synthesis for Discrete and Timed Systems / E. Asarin, O. Maler and A. Pnucli
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems / A. Benveniste, B.C. Levy, E. Fabre and P. Le Guernic
Condensation of Information from Signals for Process Modeling and Control / J.B. Birdwell and B.C. Moore
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures / A. Bouajjani, R. Echahed and R. Robbana
On Dynamically Consistent Hybrid Systems / P.E. Caines and Y.-J. Wei
A Self-learning Neuro-Fuzzy System / N. DeClaris and M.-C. Su
Viable Control of Hybrid Systems / A. Deshpande and P. Varaiya
Modeling and Stability Issues in Hybrid Systems / M. Dogruel and U. Ozguner
Hierarchical Hybrid Control: a Case Study / D.N. Godbole, J. Lygeros and S. Sastry.