Search Sciweavers | Sciweavers

29172 search results - page 84 / 5835

» Modeling Systems in CLP

175

Voted

HAIS
2011
Springer

194views Artificial Intelligence» more HAIS 2011»

Interval Type-2 Fuzzy Modelling and Simulated Annealing for Real-World Inventory Management

14 years 6 months ago

Download www.cci.dmu.ac.uk

The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...

Simon Miller, Mario A. Góngora, Robert John

claim paper

Read More »

123

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

15 years 9 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

15 years 8 months ago

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

109

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

15 years 8 months ago

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

127

Voted

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers