This paper presents the development of a platform for studying, designing and optimizing complex integrated energy systems. Technology models representing the physical behavior are separated from thermo-economic analysis and multi-objective optimization in ...
Simulation is a key issue in the design of control electrical systems. Simulation packages using component library, such as PSIM®, are very useful to achieve this goal. The simulation model is thus easily built from the system topology (structural model). ...
We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...