In this paper, we describe the incremental speciication of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from these set of control objectives. In our case, the plant...

The paper gives a systematic way for the development of hybrid control systems, i.e. to reene speciications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are extended with iteration form and a technique for deriving plant automata from DC formulas is presented. Then, a speciication of control automata can be synthesized from plant automata with respect to requirem...

In this study, an Internet Protocol(IP)-based integrated network management system(INMS) that can be managed on site and remotely was designed. To derive the requirements for an offshore plant INMS, the status of the offshore plant-related industries was analyzed, and the structure and functions of the system were designed by referring to the actual ship-owner specifications and shipbuilding ya...

Inhibitory effects of more than 300 analogues of griseofulvin against six dermatophytic fungi and eight plant pathogenic fungi were determined in an investigation of relations between chemical structure and biological activity. The influence of chemical structure on physical properties of the analogues appeared dominant, but optimum requirements for in vitro performance were somewhat different ...

This paper considers control structure selection for a biological wastewater treatment process, with emphasis on identifying controlled variables that contribute to minimize economic costs. This is achieved according to the selfoptimizing procedure proposed by Skogestad (2000). The aim is to demonstrate how, with simple considerations on the control structure design, the efficiency of a wastewa...

This paper discusses the range of application for SCADA and control systems in a wind power plant, the most important SCADA and control system considerations, and contractual requirements for SCADA and control systems.

A new necessary and sufficient condition is derived for the strict positive realness of a shifted cascade combination of an interval plant and a multiplier. The new result reduces the computational requirements by 50% in comparison with previous results.

Abstract Indoor plant production systems with artificial lighting are considered an emerging technology contributing to biomass-based value webs. The viability of this concept greatly relies on the energy requirements (ER, Watt) for lighting. We estimated ER growth by calculating conversion efficiency electricity light solid-state light-emitting diodes (LED) and quantum a fictional stand produc...

This paper considers optimal supervisory control of probabilistic discrete event systems (PDESs). PDESs are modeled as generators of probabilistic languages. The probabilistic supervisors employed enable/disable events with certain probabilities. We consider the case when there exists no probabilistic supervisor to match the behaviour of a plant to a probabilistic requirements specification. Fi...

The nutritional adequacy of plant-based diets is discussed. Energy and protein intakes are similar for plant-based diets compared with those containing meat. Fe and vitamin B12 are the nutrients most likely to be found lacking in such diets. Bioactive substances present in foods of plant origin significantly influence the bioavailability of minerals and requirements for vitamins. Well-balanced ...