STAG-a new unified software program for the study of the dynamic behaviour of electrical power systems, IEEE Transactions on Power Systems, vol.4, pp.1129-138, 1989. ,
Economic Shift in Electric Power Generation with Line Flow Constraints, IEEE Transactions on Power Apparatus and Systems, vol.97, issue.5, pp.1618-1626, 1978. ,
DOI : 10.1109/TPAS.1978.354653
Congestion Management Using Multiobjective Particle Swarm Optimization, IEEE Transactions on Power Systems, vol.22, issue.4, pp.1726-1734, 2007. ,
DOI : 10.1109/TPWRS.2007.907532
Transmission congestion management in competitive electricity markets, IEEE Transactions on Power Systems, vol.13, issue.2, pp.672-680, 1998. ,
DOI : 10.1109/59.667399
Transmission dispatch and congestion management in the emerging energy market structures, IEEE Transactions on Power Systems, vol.13, issue.4, pp.1466-1474, 1998. ,
DOI : 10.1109/59.736292
Optimal dispatch under transmission contracts, IEEE Transactions on Power Systems, vol.14, issue.2, pp.732-737, 1999. ,
DOI : 10.1109/59.761905
Grid connection rules for wind power in five countries with high ambitions concerning amount of wind power in the power system, pp.6-7, 2008. ,
Automatic Generation Control of a Wind Farm with Variable Speed Wind Turbines, IEEE Transactions on Energy Conversion, vol.22, issue.5, pp.279-284, 2002. ,
Experiment of a Wind Generator Participation to Frequency Control, EPE Journal, vol.18, issue.3, pp.14-24, 2008. ,
DOI : 10.1080/09398368.2008.11463684
Power System Control and Stability, 1994. ,
Calculation of energy transaction allocation factors, IEEE Transactions on Power Systems, vol.16, issue.2, pp.266-272, 2001. ,
DOI : 10.1109/59.918297
Approximate Model of European Interconnected System as a Benchmark System to Study Effects of Cross-Border Trades, IEEE Transactions on Power Systems, vol.20, issue.2, pp.782-788, 2005. ,
DOI : 10.1109/TPWRS.2005.846178
Optimal network congestion management using wind farms, CIGRE/PES Symposium " Integration of Wide-Scale Renewable Resources into the Power Delivery System, pp.29-31, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00422544
Gedanken-Experiments on Sequential Machines, Automata Studies Annals of Mathematical Studies, pp.129-153, 1956. ,
DOI : 10.1515/9781400882618-006
On the Verification of Sequential Machines at Differing Levels of Abstraction, IEEE Transactions on Computer-aided Design, vol.7, pp.6-713, 1988. ,