Search Sciweavers | Sciweavers

1721 search results - page 1 / 345

» The fundamentals of hybrid systems modelers

click to vote

CDC
2010
IEEE

102views Control Systems» more CDC 2010»

The fundamentals of hybrid systems modelers

12 years 11 months ago

Download www.irisa.fr

Albert Benveniste, Benoît Caillaud, Marc Pou...

claim paper

Read More »

click to vote

HYBRID
1995
Springer

143views Control Systems» more HYBRID 1995»

Compositional and Uniform Modelling of Hybrid Systems

13 years 8 months ago

Download www.irisa.fr

This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...

Albert Benveniste

claim paper

Read More »

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

13 years 10 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

click to vote

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

13 years 9 months ago

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers