Abstractions of hybrid systems: formal languages to describe dynamical behaviour (2011)

First Author: Carter R
Attributed to:  DYVERSE: A New Kind of Control for Hybrid Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.3182/20110828-6-it-1002.01072

Publication URI: http://dx.doi.org/10.3182/20110828-6-it-1002.01072

Type: Journal Article/Review

Parent Publication: IFAC Proceedings Volumes

Issue: 1