Autonomous systems suffer from opacity due to the potentially large number of sophisticated interactions among many parties and how these influence the outcomes of the systems. It is very difficult for humans to scrutinise, understand and, ultimately, work with such systems. To address this shortcoming, we developed a demonstrator which uses formal argumentation techniques, coupled with natural...

This document summarizes early results and experiences of the collaborations between the European project ”Dependable Embedded Components and Systems” (DECOS) (IST-511764) and the NSF ITR Project titled ”Foundations of Hybrid and Embedded Software and Systems”. The collaboration has started with a visit of a researcher from Vienna University of Technology at Vanderbilt University in summer 2005...

distributed generations (dgs) are utilized to supply the active and reactive power in the transmission and distribution systems. these types of power sources have many benefits such as power quality enhancement, voltage deviation reduction, power loss reduction, load shedding reduction, reliability improvement, etc. in order to reach the above benefits, the optimal placement and sizing of dg is...

The AI model-based diagnosis community has developed qualitative reasoning mechanisms for fault isolation in dynamic systems. Their emphasis has been on the fault isolation algorithms, and little attention has been paid to robust online detection and symbol generation that are essential components of a complete diagnostic solution. This paper discusses a robust diagnosis methodology for hybrid ...

This study shows the design of a new hybrid power generation system, photovoltaic panel (PV)–coupled solid oxide fuel cell (SOFC) and gas turbine (GT)–electrolyser. Three objectives (cost, pollutant emissions, and reliability), which are usually in conflict, are considered simultaneously. The design of a hybrid system, considering the three mentioned objectives, poses a very complex problem of o...

Renewable energy sources i.e., energy generated from solar, wind, biomass, hydro power, geothermal and ocean resources are considered as a technological option for generating clean energy. This paper presents the Solar-Wind hybrid Power system that harnesses the renewable energies in Sun and Wind to generate electricity. System control relies mainly on micro controller. It ensures the optimum u...

In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ’Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ’completeness’. It is also used to guide inpu...

Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many methods exist for simulating hybrid automata, there are no known approaches for the automatic code generation from HA that are semantic preserving. If...

In this paper, we consider hybrid systems containing both stochastic and non-stochastic 3 components. To compose such systems, we introduce a general combinator which allows the specification of an arbitrary hybrid system in terms of elementary primitives of only two types. Thus, systems are obtained hierarchically, by composing subsystems, where each subsystem can be viewed as an "increment" i...