The paper presents a formal method of specifying complex robotic systems. Although the method is general, here it is applied to the description of two, however diverse, robot behaviours, in which the induced motion wa...
详细信息
The paper describes the Hippo-CPS tool in the verification of Petri net-based cyber-physical systems. In particular, verification of the key properties such as boundedness, safeness and liveness is presented and discu...
详细信息
A method of analysis of a control part of the cyber-physical system described by a Petri net is presented in the paper. In particular, boundedness of the system is examined. Contrary to other well-known...
详细信息
Robotic systems are composed of at least one robot and zero or more auxiliary devices. They contain effectors, receptors and the control system. Currently control systems are computer based thus the software component...
详细信息
The paper assumes the composition of robotic systems out of embodied agents. It presents a utilitarian decomposition of an agent into subsystems. Both subsystem behaviours and their selection can be described in terms...
详细信息
The paper briefly introduces: embodied agent based robotic systems and a 6-layer hierarchic Petri net meta-model describing their activities. As the meta-model contains a plethora of parameters, a specialised language...
详细信息
Complex robotic systems require a formal method of specification that guides the system developer and facilitates the implementation. In this paper the proposed formalism is utilized to specify a control system of a r...
详细信息
proposes novel automatic control strategies for nonlinear systems developed by means of artificial neural networks and pays special attention to robust and fault-tolerant approaches. The book discusses robustness and ...
详细信息
ISBN:
(数字)9783030118693
ISBN:
(纸本)9783030118686
proposes novel automatic control strategies for nonlinear systems developed by means of artificial neural networks and pays special attention to robust and fault-tolerant approaches. The book discusses robustness and fault tolerance in the context of model predictive control, fault accommodation and reconfiguration, and iterative learning control strategies. Expanding on its theoretical deliberations the monograph includes many case studies demonstrating how the proposed approaches work in practice. The most important features of the book include:;The material presented in this book will be useful for researchers and engineers who wish to avoid spending excessive time in searching neural-network-based control solutions. It is written for electrical, computer science and automatic control engineers interested in control theory and their applications. This monograph will also interest postgraduate students engaged in self-study of nonlinear robust and fault-tolerant control.
Repetitive processes propagate information propagation in two independent directions and are of both systems theoretic and applications *** cannot be controlled by direct extension of existing techniques from either s...
详细信息
ISBN:
(纸本)9787900719706
Repetitive processes propagate information propagation in two independent directions and are of both systems theoretic and applications *** cannot be controlled by direct extension of existing techniques from either standard(termed 1D here) or(often) 2D systems *** this paper we propose,motivated by critical features in the dynamics of some examples a model which has non-causal elements and then develop new results on the stability and control of examples which it represents.
The paper presents an approach to improve the dependability of software implementation of the explicit DMC (Dynamic Matrix control) Model Predictive control (MPC) algorithm. The investigated DMC algorithm is implement...
详细信息
暂无评论