Hybrids Systems: Computation and Control

Abstract

This volume contains the proceedings of the Fourth Workshop on Hybrid systems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from industry and academia interested in modeling, analysis, synthesis, and implementation of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the latest developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2001
Accession Number
ADA392667

Entities

People

  • Alberto Sangiovanni-Vincentelli
  • Maria D. Di Benedetto

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • C4I
  • Cyber
  • Engineered Resilient Systems
  • Space

DTIC Thesaurus Topics

  • Aircrafts
  • Closed Loop Systems
  • Computational Fluid Dynamics
  • Computational Science
  • Computer Programming
  • Computer Science
  • Control Systems
  • Control Systems Engineering
  • Engineers
  • Information Science
  • Information Systems
  • Linear Programming
  • Mathematical Models
  • Network Science
  • Systems Engineering
  • Theorems
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Artificial Intelligence
  • Robotics and Automation.