Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

Hybrid systems describe the interaction of software, described by finite models such as finite-
state machines, with the physical world, described by infinite models such as differential …

Essentially, the emerging term “Cyber–Physical Systems (CPS)” is an architectural paradigm
in which the pervasive sensing technologies represent a fundamental part. Originally …

We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

Finite-state models of control systems were proposed by several researchers as a
convenient mechanism to synthesize controllers enforcing complex specifications. Most …

In this paper we present a method for automatic planning of optimal paths for a group of
robots that satisfy a common high-level mission specification. The motion of each robot is …

In this paper we present a method for automatically generating optimal robot paths satisfying
high-level mission specifications. The motion of the robot in the environment is modeled as a …

Symbolic approaches for control design construct finite-state abstract models that are related
to the original systems, then use techniques from finite-state synthesis to compute controllers …

We propose formal means for synthesizing switching protocols that determine the sequence
in which the modes of a switched system are activated to satisfy certain high-level …