Author of the publication

Wind Integration in Power Systems: Operational Challenges and Possible Solutions.

, , , , , , and . Proc. IEEE, 99 (1): 214-232 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 76-90. Springer, (1999)Verification of Supervisory Control Software Using State Proximity and Merging., , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 344-357. Springer, (2008)Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows., and . IEEE Trans. Robotics Autom., 6 (6): 724-734 (1990)Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Verifying analog oscillator circuits using forward/backward abstraction refinement., , and . DATE, page 257-262. European Design and Automation Association, Leuven, Belgium, (2006)A moving horizon state estimator in the control of thermostatically controlled loads for demand response., , , , , and . SmartGridComm, page 253-258. IEEE, (2013)Software Rejuvenation for Secure Tracking Control., , , and . CoRR, (2018)Industry needs for embedded control education., and . ACC, page 4543-4550. IEEE, (2005)Formal verification of hybrid systems using CheckMate: a case study., and . ACC, page 1679-1683. IEEE, (2000)Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes., and . HSCC, volume 3927 of Lecture Notes in Computer Science, page 287-301. Springer, (2006)