Edge security in smart inverters: Physical invariants based approach

The endeavour towards making power distribution systems (PDSs) smarter has made the interdependence on communication network indispensable. Further, prospective high penetration of intermittent renewable energy sources in the form of distributed energy resources (DERs) has resulted in the necessity for smart controllers on such DERs. Inverters...

Refactoring of legacy software using model learning and equivalence checking: An industrial experience report

Many companies struggle with large amounts of legacy software that is difficult to maintain and to extend. Refactoring legacy code typically requires large efforts and introduces serious risks because often crucial business assets are hidden in legacy components. We investigate the support of formal techniques for the rejuvenation of legacy...

Using domain specific languages to improve the development of a power control unit

To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also generate instances of a second DSL which represents...

Mitigation of wind power fluctuations by intelligent response of demand and distributed generation

With the world becoming ever more conscious of the necessity for clean, sustainable energy sources, an increased proportion of energy produced by wind resources is expected. In the current power system, the integration of such large capacity of non-load-following and intermittent supply leads to several challenges, one of which is to control the...

A multi-channel S-band FMCW radar front-end

This paper describes the design and performance of a low-cost synthesized FMCW radar module, operating in S band. The bi-layer PCB contains a frequency-agile low phase-noise synthesizer and three identical coherent receive-channels. The transmit channel has an automatic power control system that reduces the output power when a large reflection...

A flow level capacity comparison of UMTS and HSDPA

Using an operator perspective, we present a flow level capacity comparison of an HSDPA and a typically deployed release ‘99-based UMTS network, both in a qualitative and quantitative sense. The purpose of the qualitative reasoning is to generate a solid intuitive understanding of the HSDPA benefits. In the quantitative study, we resolve a number...

Controlling the power output of a nuclear reactor with fuzzy logic

The application of fuzzy logic control (FLC) in the domain of nuclear industry presents a tremendous challenge. The main reason for this is the public awareness of the risks of nuclear reactors and the very strict safety regulations in force for nuclear power plants. The very same regulations prevent a researcher from quickly introducing novel...