Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the software engineering challenges in applying reactive synthesis to robotics, beyond the synthesis algori...

Internet of things (IoT) results in massive amount of streaming data, often referred to as “big data”, which brings new opportunities to monitor agricultural and food processes. Besides sensors, big data from social media is also becoming important for the food industry...

Purpose A rotary kiln is a pyro processing device that is used to raise the temperature of materials in cement factories. Temperature monitoring is an essential process in the rotary kiln to yield high quality clinker. Temperature measurement is a challenging task in c...

Within the field of robotics, stiffness tuning technologies have potential for a variety of applications—perhaps most notably for robotic grasping. Many stiffness tuning grippers have been develope...

Monitoring and modeling large-scale stochastic phenomena with both spatial and temporal (spatiotemporal) evolution by using a network of distributed sensors is a critical problem in many control applications (see "Summary"). Consider, for example, a team of robots that ...

With the development of science and technology in multidisciplinary fields of automation control, rehabilitation medicine and robotics and the improvement of people’s living standards, medical rehabilitation robots are playing an increasingly important role in life. The...

This book offers a comprehensive contemporary approach to the modeling and control of robotic mechanisms. It presents results on stability analysis and control design of networked teleoperation systems. The text overviews commonly encountered nonlinear teleoperation sys...

This article considers the problem of control when two distinct decision makers, a human operator and an advanced automation working together, face severe uncertainties and anomalies. We focus on shared control architectures (SCAs) that allow an advantageous combination...

Distributed control has emerged as a major focus in the systems and controls area, with multiagent robotics playing a prominent role both as a canonical instantiation of a system, where control decisions must be made by individual nodes across an information-exchange ne...

The digital transformation (DT) is the acquiring the digital tool, techniques, approaches, mechanism etc. for the transformation of the business, applications, services and upgrading the manual process into the automation. The DT enable the efficacy of the system via au...