Computing systems are becoming more and more dynamically reconfigurable or adaptive,
to be flexible wrt their environment and to automate their administration. Autonomic …

This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …

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 …

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous
languages. This paper discusses the improvements, difficulties, and successes that have …

Abstract Event-Condition-Action (ECA) rules are a widely used language for the high level
specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart …

In this paper we show how state-of-the art SMT-based techniques for software verification
can be employed in the verification of event–condition–action rules in intelligent …

We describe the extension of a reactive programming language with a behavioral contract
construct. It is dedicated to the programming of reactive control of applications in embedded …

In complex systems, like robot plants, applications are built on top of a set of components, or
devices. Each of them has particular individual constraints, and there are also logical …

We define a mixed imperative/declarative programming language: declarative contracts are
enforced upon imperatively described behaviors. This paper describes the semantics of the …

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 …