Related papers: A solution for applying IEC 61499 function blocks …
This paper presents an intelligent controller for uncertain underactuated nonlinear systems. The adopted approach is based on sliding mode control and enhanced by an artificial neural network to cope with modeling inaccuracies and external…
Safe autonomy is important in many application domains, especially for applications involving interactions with humans. Existing safe control algorithms are similar to one another in the sense that: they all provide control inputs to…
To date, most work regarding the formal analysis of access control schemes has focused on quantifying and comparing the expressive power of a set of schemes. Although expressive power is important, it is a property that exists in an…
This thesis presents the design, analysis, and validation of a hierarchical transactive control system that engages demand response resources to enhance the integration of renewable electricity generation resources. This control system…
A point-to-point integrated sensing and communication (ISAC) system is considered where a transmitter conveys a message to a receiver over a discrete memoryless channel (DMC) and simultaneously estimates the state of the channel through the…
To promote structurally flexible controllers in self-adaptive software systems, this paper proposes the use of micro-controllers. Instead of generic monolithic controllers, like Rainbow, we advocate the use of service-specific…
The arc-length continuation framework is used for the design of state feedback control laws that enable a microscopic simulator trace its own open-loop coarse bifurcation diagram. The steering of the system along solution branches is…
This paper presents a new approach for guaranteed safety subject to input constraints (e.g., actuator limits) using a composition of multiple control barrier functions (CBFs). First, we present a method for constructing a single CBF from…
A distributed controller for secondary control problems in microgrids with grid-forming (GFM) inverter-based resources (IBRs) is developed. The controller is based on distributed optimization and is synthesized and implemented…
The innovative concept of Electric Aircraft is a challenging topic involving different control objectives. For instance, it becomes possible to reduce the size and the weight of the generator by using the battery as an auxiliary generator…
This paper addresses the problem of output voltage regulation for multiple DC/DC converters connected to a microgrid, and prescribes a scheme for sharing power among different sources. This architecture is structured in such a way that it…
Small-signal models of DC-DC converters are often based on a state-space averaging approach, from which both control-oriented and other frequency-domain characteristics, such as input or output impedance, can be derived. Updating these…
Redundancy and parallelism make decentralized multi-robot systems appealing solutions for the exploration of extreme environments. However, effective cooperation often requires team-wide connectivity and a carefully designed communication…
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static…
Industrial Internet of Things is a new milestone that will require new industry paradigms and investments. In this context, cyber-physical systems are considered the bridge to the fourth revolution. Centralized approaches and observance of…
Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation of the grid, individual operations must be coordinated among…
Microgrids are autonomous clusters of generators, storage units and loads. Special requirements arise in interconnected operation: control schemes that do not require individual microgrids to disclose information about their internal…
An increasing integration of photovoltaic units, electric vehicle chargers, heat pumps, and energy storage systems challenges low-voltage power grids and can cause voltage range violation, loss of stability, (local) overload of lines, and…
Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing…
Software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cel phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous…