Power system smart control and verification

Proceedings of the 10th IASTED International Conference on Power and Energy Systems, PES 2008

Volumn , Issue , 2008, Pages 18-23

  Bhattacharyya, S ^a   Nutaro, J ^c   Miller, L E ^b   Kuruganti, T ^c   Shankar, M ^c  

^a KENTUCKY STATE UNIVERSITY   (United States)

^b UNIVERSITY OF MINNESOTA   (United States)

^c OAK RIDGE NATIONAL LABORATORY   (United States)

Author keywords

Hybrid systems; Power system; Verification

Indexed keywords

AUTOMATED CONTROLS; CIRCUIT BREAKERS; DISTRIBUTED GENERATIONS; FORMAL MODELING; HUMAN INTERVENTIONS; HYBRID MODELS; PEAK LOADS; POWER GRIDS; POWER SYSTEM; POWER SYSTEM CONTROLS; SHORT TERMS; SMART CONTROLS; SYSTEM MODULES; TEMPORAL LOGIC;

AUTOMATION; ELECTRIC GROUNDING; ELECTRIC POWER TRANSMISSION NETWORKS; FORMAL METHODS; HYBRID COMPUTERS; POTENTIAL ENERGY; POTENTIAL ENERGY SURFACES; POWER GENERATION; POWER TRANSMISSION;

HYBRID SYSTEMS;

EID: 62449148323     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Daley, J.M.; Siciliano, R.L., Application of emergency and standby generation for distributed generation. II. Experimental evaluations, Industry Applications, IEEE Transactions on Volume 39, Issue 4, July-Aug. 2003 Page(s): 1226 - 1233.
2. J. Nutaro, P.T. Kuruganti, L. Miller, S. Mullen and M. Shankar, Integrated hybrid simulation of electric power and Communication Systems, PES GM June 2007.
3. Chen- Ching Liu Juhwan Jung Heydt, G.T. Vittal, V. Phadke, A.G. The strategic power infrastructure defense (SPID) system. A conceptual design, Control Systems Magazine, IEEE Aug 2000 Volume: 20, Issue: 4 page(s): 40-52.
4. Vu, K. Begouic, M.M. Novosel, D. "Grids get smart protection and control", Computer Applications in Power, IEEE, Oct 1997 Volume: 10, Issue: 4 page(s): 40-44.
5. J.Santos, C.Ramos, Z.Vale, A.Marques - Verification &Validation of Power Systems Control Centres KBS, Proceedings of IASTED International Conference, Artificial Intelligence and Applications (AIA2001), pp.324-329, Marbella, Spain, September, 2001.
6. M. O'Connor, S. Tangirala, R. Kumar, S. Bhattacharyya, M. Sznaire, and L. E. Holloway. A Bottom-up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles, Proceedings of the American Control Conference, Minneapolis, June 2006.
7. Greenstreet, M., Pragmatic Verification for Hybrid and Real-time Designs, Proceedings of the American Control Conference, Chicago, Illinois, June 2000.
8. Hor, C.L. Kangvansaiehol, K. Crossley, P.A. Shafiu, A. , Relay models for protection studies, Power Tech Conference Proceedings, 2003 IEEE Bologna: 23-26 June 2003 Volume: 4, page(s): 8 pp.
9. Ms. Sachdev, Mietek Glinskowski, Relay Models for use in EMTP, IEEE PES Tutorial on Electromagnetic Transient Program Applications to Power System Protection, April 17, 2000.
10. Walter A. Elmore, Protective relaying theory and applications (second edition, Revised and Expanded, Dekker, 2004).
11. Michael Huth and Mark Ryan, Logic in computer science, modeling and reasoning about systems (second edition, Cambridge University Press, 2005).
12. Roy Billinton and Jingdong Ge, A Comparison of Four-State Generating Unit Reliability Models for Peaking Units, IEEE Transactions On Power Systems, Vol. 19, No. 2, May 2004
13. S. Arabi P. Kundur, Fellow, IEEE J.H. Sawada, Member, IEEE Appropriate HVDC transmission simulation models for various power system stability studies, IEEE Transactions on Power Systems, Vol. 13, No. 4, November 1998.
14. L. Jin, H. Liu, R. Kumar, V. Ajjarapu, J. D. McCalley, N. Elia, and V. Vittal, An Application of Reachable Set Analysis in Power System Transient Stability Assessment, 2005 IEEE Power Eng. Society General Meeting, San Franciso, CA, June 2005.
15. Modeling, validation and verification of real-time systems modeled as networks of timed automata, http:// www.uppaal.com
16. A.J. Grono, Hardware-in-the-Loop Simulation of the Synchronisation Process of Power Generators, International Journal of Power and Energy Systems 2005, Vol. 25.
17. Schoder, K.; Feliachi, A., Simulation and control of electric shipboard power systems using Modelica and Matlab/Simulink Power Engineering Society General Meeting, 2004. IEEE Volume, Issue , 6-10 June 2004 Page(s): 244 - 248 Vol.1
18. Real Time Digital Simulation for the Power Industry , http://www.rtds.com/RTDS-Corporate-Profile.pdf