Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

Software cybernetics explores the interplay between software and control and is motivated
by the fundamental question whether or not and how software behavior can be controlled. In …

Discrete controller synthesis (DCS) is a formal approach, based on the same state-space
exploration algorithms as model-checking. Its interest lies in the ability to obtain …

In this paper, we investigate the control of infinite reactive synchronous systems modeled by
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …

In recent years, quadcopter-type unmanned aerial vehicles have been preferred in many
engineering applications. Because of its nonlinear dynamic model that makes it hard to …

In engineering, cost minimization, especially in Computer Numerical Control (CNC)
machining like pocket milling, is crucial. Existing tool path definition software often lacks …

The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)
defines a mathematically expressive model of time, the Clock Constraint Specification …

In recent years, quadcopter UAVs have been extensively utilized. Controlling quadcopters is
a major concern, and researchers are actively studying it. In this study, altitude control of a …

Complex computing systems are increasingly self-adaptive, with an autonomic computing
approach for their administration. Real systems require the co-existence of multiple …

We propose a technique for discrete controller synthesis, with optimal synthesis on bounded
paths, in order to model, design, and optimize fault-tolerant distributed systems, taking into …