Distributed energy systems play a significant role in the integration of renewable technologies. The Energy Internet links fleet distributed to each other and with grid. Interactions between via information sharing could significantly enhance efficiency their real-time operation. However, privacy security concerns hinder such interactions. A game-theoretic approach can help this regard, enable ...

In this paper, we propose three cooperative operational modes of manned and unmanned submersibles for a range different deep-sea application scenarios. For large-scale exploration, lander or an surface vehicle (USV) is paired with one more autonomous underwater vehicles (AUVs), while the liberated research vessel R/V can transport submersible to another area diving operations. When AUVs perform...

Autonomous operation in a dynamic environment requires accurate and timely response. A real-time control plan specifies actions plus a resource schedule to guarantee real-time constraints will be met during plan execution. The Cooperative Intelligent Realtime Control Architecture (CIRCA-II) employs an integrated planning-scheduling system to create and execute real-time control plans. In this p...

We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theories. The system captures succintly and accurately all the major aspects of the solver’s global operation: boolean search with across-the-board backjumping, communication of theory-specific facts and equalities between sh...

A disconnected communication link and no-visual control situation causes the difficulty of obtaining knowledge about the situation by using teleoperation from the operator. Typically, disaster area is spatially distributed, so we need an intelligent robot that can make a mutual position detection of multimodular robots. Thus, we propose a navigation algorithm and a relative motion recognition m...

Broadly considered, the field of cooperative decision and control covers those interdisciplinary methods that can be used for the operation of semi-autonomous agents deployed to achieve a common objective. By joint exploiting the agents’ capabilities, it is expected that the combined effort of the team can exceed the sum of its parts. Harnessing this potential benefit is however challenging due...

Cooperative radio localization and navigation systems can be used in scenarios where the reception of global satellite system (GNSS) signals is not possible or impaired. While benefit cooperation has been highlighted by many papers, calibration widely considered, but equally important practice. Utilizing signal propagation time requires group delay ranging bias estimating directions-of-arrival ...

In this paper, some HAM (Human Adaptive Mechatronics) research results on operator skill evaluation, operation assistance, identification of operator's dynamics, skill acquisition, and coupling phenomenon in bimanual operation are presented at first. Then the bimanual operation is discussed in detail. The phenomenon of spatial coupling between two different tasks performed by two hands respecti...

ICICLE1 (intelligent code inspection in a C language environment) is a multifaceted software system developed with components from several technologies, including AI, computer-supported cooperative work (CSCW), and software technology. It is intended to support the process of formal code inspection within the software development cycle. This chapter reports on ICICLE in the context of its succe...