Sciweavers

25 search results - page 4 / 5
» An L-System-Based Plant Modeling Language
Sort
View
ESOP
2003
Springer
14 years 5 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
IFIP
2005
Springer
14 years 14 days ago
Multi-Stage Stochastic Electricity Portfolio Optimization in Liberalized Energy Markets
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
Ronald Hochreiter, Georg Ch. Pflug, David Wozabal
DFG
2004
Springer
13 years 10 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
WSC
2008
13 years 9 months ago
Representing layout information in the CMSD specification
Developing mechanisms for the efficient exchange of information between simulations and other manufacturing tools is a critical problem. For many areas of manufacturing, neither r...
Frank Riddick, Y. Tina Lee
JMLR
2012
11 years 9 months ago
A Bayesian Analysis of the Radioactive Releases of Fukushima
The Fukushima Daiichi disaster 11 March, 2011 is considered the largest nuclear accident since the 1986 Chernobyl disaster and has been rated at level 7 on the International Nucle...
Ryota Tomioka, Morten Mørup