Robot control for tasks such as moving around obstacles or gras** objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

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

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 …

Cyber-physical systems U+ 0028 CPS U+ 0029 are complex systems with organic
integration and in-depth collaboration of computation, communications and control U+ 0028 …

This paper provides a framework to automatically generate a hybrid controller that
guarantees that the robot can achieve its task when a robot model, a class of admissible …

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

Switched systems constitute an important modeling paradigm faithfully describing many
engineering systems in which software interacts with the physical world. Despite …

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