Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

HYBRID
2007
Springer

favoriteEmaildiscussreport

100views Control Systems» more HYBRID 2007»

Foundations of a Compositional Interchange Format for Hybrid Systems

14 years 12 days ago

Foundations of a Compositional Interchange Format for Hybrid Systems

Download www.win.tue.nl

D. A. van Beek, Michel A. Reniers, Ramon R. H. Sch

Real-time Traffic

HYBRID 2007 | Hybrid Systems |

claim paper

Related Content

» Interchange Formats for Hybrid Systems Review and Proposal

» On Timed Simulation Relations for Hybrid Systems and Compositionality

» Differential Dynamic Logic for Hybrid Systems

» Automatic Protocol Format Reverse Engineering through ContextAware Monitored Execution

» Towards Large Scale Argumentation Support on the Semantic Web

» Differential Dynamic Logics

» The Design and Implementation of a Semantic Service Mediation System

» Receding horizon control for temporal logic specifications

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	HYBRID
Authors	D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda

Comments (0)