Cover Image
Read Now

Hybrid Systems II

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "...

Full description

Bibliographic Details
Other Authors: Antsaklis, Panos (Editor), Kohn, Wolf (Editor), Nerode, Anil (Editor), Sastry, Shankar (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1995, 1995
Edition:1st ed. 1995
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Control And Systems Theory
Control Engineering
Processor Architectures
Microprocessors
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Computer Architecture
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Symbolic controller synthesis for discrete and timed systems
  • A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems
  • Condensation of information from signals for process modeling and control
  • On the automatic verification of systems with continuous variables and unbounded discrete data structures
  • On dynamically consistent hybrid systems
  • A self-learning neuro-fuzzy system
  • Viable control of hybrid systems
  • Modeling and stability issues in hybrid systems
  • Hierarchical hybrid control: a case study
  • Hybrid systems and quantum automata: Preliminary announcement
  • Planar hybrid systems
  • Programming in hybrid constraint languages
  • A note on abstract interpretation strategies for hybrid automata
  • HyTech: The Cornell Hybrid Technology Tool
  • Hybrid systems as Finsler manifolds: Finite state control as approximation to connections
  • Constructing hybrid control systems from robust linear control agents
  • Controllers as fixed points of set-valued operators
  • Verification of hybrid systems using abstractions
  • Control of continuous plants by symbolic output feedback
  • Hybrid control of a robot — a case study
  • Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata
  • Inductive modeling: A framework marrying systems theory and non-monotonic reasoning
  • Semantics and verification of hierarchical CRP programs
  • Interface and controller design for hybrid control systems
  • Hybrid objects
  • Modelling of hybrid systems based on extended coloured Petri nets
  • DEVS framework for modelling, simulation, analysis, and design of hybrid systems
  • Synthesis of hybrid constraint-based controllers

Similar Items