[IEEE 2012 IEEE/PES Transmission and Distribution Conference and Exposition (T&D) - Orlando, FL, USA (2012.05.7-2012.05.10)] PES T&D 2012 - Matching the IEEE Test Feeder short circuit results
- 作者Arritt, R. F.; Dugan, R. C.
- 文件大小264.21KB
- 发表时间2012
- DOI10.1109/tdc.2012.6281653
- 页码1-7
Optimal constructions for active diagnosisHaar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan · Journal of Computer and System Sciences · 2017
Computing the reveals relation in occurrence netsHaar, Stefan; Kern, Christian; Schwoon, Stefan · Theoretical Computer Science · 2013
The Complexity of Diagnosability and Opacity Verification for Petri NetsBérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan; van der Aalst, Wil; Best, Eike; Penczek, Wojciech · Fundamenta Informaticae · 2018
Contributing AuthorsShigemasa Takai; Toshimitsu Ushio; Eric Fabre; Albert Benveniste; Stefan Haar; Claude Jard; Alessandro Giua; Daniele Corona; Carla Seatzu · Discrete Event Dynamic Systems · 2005
Effective Verification of Weak DiagnosabilityAgarwal,, Anoopam; Madalinski,, Agnes; Haar, Stefan · IFAC Proceedings Volumes · 2012
Concurrency in Boolean networksChatain, Thomas; Haar, Stefan; Kolčák, Juraj; Paulevé, Loïc; Thakkar, Aalok · Natural Computing · 2019
Counter Equations for Timed Competition NetsBaccelli, François; Haar, Stefan · IFAC Proceedings Volumes · 2001
Forecasting Passenger Loads in Transportation NetworksHaar, Stefan; Theissing, Simon · Electronic Notes in Theoretical Computer Science · 2016