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.
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...
The principal task of photovoltaic measurement is to monitor the correct function of all components of a PV-system, as defects will result in losses in energy yield. Components are both the PV-generator and the peripheral equipment as well. Quality control of the peripheral equipment is approved by electrical measurement engineering. But quality control of the PV-generator needs in addition the measurement...
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.