Sciweavers

527 search results - page 85 / 106
» Case Study: System Model of Crane and Embedded Control
Sort
View
JAR
2008
107views more  JAR 2008»
14 years 9 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
AC
2003
Springer
15 years 2 months ago
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enr...
92
Voted
MIR
2004
ACM
143views Multimedia» more  MIR 2004»
15 years 3 months ago
A graphical user interface for a fine-art painting image retrieval system
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
Thomas E. Lombardi, Sung-Hyuk Cha, Charles C. Tapp...
WSC
2008
14 years 12 months ago
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
Matias Urenda Moris, Amos Ng, Jacob Svensson
CIBSE
2008
ACM
14 years 11 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota