Arc and path consistence revisited
Artificial Intelligence
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Newton—constraint programming over nonlinear constraints
Science of Computer Programming - Special issue on concurrent constraint programming
The OPL optimization programming language
The OPL optimization programming language
Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
Modeling and simulation methods for design of engineering systems
Journal of Computing and Information Science in Engineering
Constraints
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Search heuristics for constraint-aided embodiment design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Engineering Applications of Artificial Intelligence
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Search strategies for an anytime usage of the branch and prune algorithm
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On the consistency of general constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A modelling approach for the overall ship propulsion plant simulation
ICOSSSE'07 Proceedings of the 6th WSEAS international conference on System science and simulation in engineering
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
When the steady states are largely predominant with respect to transitional phases, steady-state simulation seems sufficient to predict the behavior of a complex system. Over the past 20 years, different modeling languages and dedicated tools have been developed to improve steady state simulation. In this paper, focus is made on steady-state simulation for system control and design. A model combining an emission sub-model with a ship propulsion sub-model was implemented in a constraint programming (CP) approach. It will help to determine the efficiency (i.e. the ability to model and solve the problem) and complexity of implementation (i.e. difficulties encountered during the implementation) of this approach. First, requirements for the steady-state simulation of complex systems are defined. Then, CP approach is shown to be able to answer these issues through experiments. This approach is then compared to one of the main simulation languages: Modelica. Although the two approaches (i.e Modelica and CP) are able to reverse models, the study shows that the use of Modelica principles for steady-state simulation involves some crippling limitations, such as the non-management of under/over-constrained systems, or inequalities. This study also shows that the constraint programming approach permits to meet some needs for steady-state simulation not yet covered by current approaches.