The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents a generic hybrid monitoring approach, which allows the detection of inconsistencies in the navigation of autonomous mobile robots using online-generated models. A mission on the context of the navigation corresponds to an autonomous navigation from a start to an end mission point. The operator defines this mission by selecting a final goal point. Based on this selection the monitoring...
A real-time system in its environment constitutes a complex dynamic system (in general hybrid), which requires the development of new methods of modeling and monitoring. This paper presents the Modified Particle Petri nets (MPPN) approach, which combines Petri nets and particle filtering in order to model and monitor Hybrid Dynamical Systems (HDS) and their interaction with the environment. The approach...
A design approach is proposed for the efficient specification and realization of dynamic system monitoring components based on a unified system component model. Starting form the formal specification of the component under monitoring and a generic monitoring model, runtime executable monitor components are constructed in a straightforward way. Hybrid continuous-discrete system descriptions and a state...
This paper presents a generic hybrid online monitoring approach allowing the detection of inconsistencies in the navigation of autonomous mobile robots. The originalities of this work are (i) the association of classic state estimation based on particle filter to a special class of Petri net in order to deliver an estimation of the next robot state (position) as well as the environment state (graph...
In this paper we propose a recursive and nested hybrid monitoring and diagnosis architecture for systems with Recursive Nested Behaviour-based Control structure. Such systems consist of behavioural levels, which use several models on different levels of abstractions. In this architecture scheme, the monitors of each subsystem use recursively the output of the monitors of the next lower level in order...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.