Abstractions of hybrid systems: formal languages to describe dynamical behaviour (2011)
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