22,856 Hits in 4.6 sec

Towards Verification of Uncertain Cyber-Physical Systems

Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
2017 Electronic Proceedings in Theoretical Computer Science  
The paper describes an approach for symbolic simulation-based verification of CPS with uncertainties.  ...  We define a symbolic model and representation of uncertain computations: Affine Arithmetic Decision Diagrams.  ...  Acknowlegement This work is funded, in part, within the ANCONA project (16ES021) within the program IKT 2020 by the German Ministry of Education and Research (BMBF) and by Robert Bosch AG, Intel AG, and  ... 
doi:10.4204/eptcs.247.1 fatcat:3g7knqzurbbnddnwu5uez2gy5q

Symbolic System Time in Distributed Systems Testing

Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle
2012 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation  
We propose an extension of symbolic execution of distributed systems to test software parts related to timing.  ...  Instead of executing time events at a concrete time, we execute them at a set of times and analyse possible event interleavings on demand.  ...  If the event time is uncertain, the event appears in a status where it was already executed and where it is not yet.  ... 
doi:10.1109/icst.2012.193 dblp:conf/icst/DustmannSW12 fatcat:4t2qax2blrhjpbuqicbcodrvvy

Online Diagnosis of Systems with Rectangular Hybrid Automata Models

Haithem Derbel, Hassane Alla, Nejib Ben Hadj-Alouane, Moez Yeddes
2009 IFAC Proceedings Volumes  
Our approach is based on the use of a diagnosis procedure which performs, online, an estimation of the system states, within a given time window, and based on the current record of observable timed events  ...  We propose an online diagnosis approach for a class of hybrid systems. The normal and the faulty behaviors of the system are modeled with rectangular hybrid automata.  ...  In (Zad et al., 1999) , a timed model of the system is used, capturing time with a tick event.  ... 
doi:10.3182/20090603-3-ru-2001.0267 fatcat:2emfylx7xbhzhnpazc7bjpo764

Modelling and Compensation of Uncertain Time-delays in Networked Control Systems with Plant Uncertainty Using an Improved Robust Model Predictive Control Method

2020 International Journal of Engineering  
Also, an experimental evaluation of time-delays in MODBUS networked control systems is proposed. The simulation results show the ability of the proposed method.  ...  A B S T R A C T Control systems with digital communication between sensors, controllers and actuators are called Networked Control Systems (NCSs).  ...  Execution time of the events inFigure 3 to compensate systems with both model and delay uncertainties.  ... 
doi:10.5829/ije.2020.33.06c.11 fatcat:i7fwickr35borlptgbpjwdolty

An XES Extension for Uncertain Event Data [article]

Marco Pegoraro, Merih Seran Uysal, Wil M.P. van der Aalst
2022 arXiv   pre-print
This paper illustrates an extension of the XES data standard capable of representing uncertain event data.  ...  Recently, a novel body of research has emerged, with the aim to address and analyze a class of anomalies known as uncertainty-imprecisions quantified with meta-information in the event log.  ...  This mathematical framework allows to represent events with uncertain attributes, both strongly and weakly uncertain, and both in the discrete and continuous domains.  ... 
arXiv:2204.04135v1 fatcat:yrhcb426rfcyfpmss4m64sm2ca

A comparison among tools for the diagnosability of discrete event systems

Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu
2012 2012 IEEE International Conference on Automation Science and Engineering (CASE)  
In this paper we compare three tools for the diagnosability analysis of discrete event systems.  ...  Seatzu, "A comparison among tools for the diagnosability of discrete event systems", CASE12: 8th IEEE  ...  Acknowledgments We thank Marco Pocci for the development of the MATLAB tool PN_DIAG and Rita Perria for the development of the MATLAB tool PN_DIAG_UNBOUNDED.  ... 
doi:10.1109/coase.2012.6386425 dblp:conf/case/CabasinoGMS12 fatcat:3icptivfenczrm2fgvr5tvw52a

Plausible Petri nets as self‐adaptive expert systems: A tool for infrastructure asset monitoring

Manuel Chiachío, Juan Chiachío, Darren Prescott, John Andrews
2018 Computer-Aided Civil and Infrastructure Engineering  
PPNs are a variant within the PN paradigm, which are efficient to jointly consider the dynamics of discrete events, like maintenance actions, together with multiple sources of uncertain information about  ...  Self-adaptive expert systems are understood here as expert systems with the ability to autonomously learn from external inputs, like monitoring data.  ...  John Andrews is the LRF Director of the Resilience Engineering Research Group and also the Network Rail Professor of Infra-structure Asset Management at the University of Nottingham.  ... 
doi:10.1111/mice.12427 fatcat:k4qi2o5355h23fk5yavu63we2y

Robustness of Model-Based Simulations

Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009 2009 30th IEEE Real-Time Systems Symposium  
Toward that goal, self-validated arithmetics, such as interval and affine arithmetic, are employed for guaranteed simulation of discrete-time hybrid systems.  ...  In the case of continuous-time hybrid systems, self-validated arithmetics are utilized for overapproximations of reachability computations.  ...  In [15] , the authors present a framework for performing simulation of discrete-time dynamical systems with uncertain parameters using semi-symbolic simulations.  ... 
doi:10.1109/rtss.2009.26 dblp:conf/rtss/FainekosSIG09 fatcat:eewolssfizh6zagm5kbjrdyec4

The implementation of temporal intervals in qualitative simulation graphs

Ricki G. Ingalls, Douglas J. Morrice, Andrew B. Whinston
2000 ACM Transactions on Modeling and Computer Simulation  
Our main reason for doing so is to extend the application of discrete event simulation to systems found in business for which precise quantitative information is lacking.  ...  In this paper we develop and implement a simulation modeling methodology that combines discrete event simulation with qualitative simulation.  ...  ACKNOWLEDGMENTS We gratefully acknowledge the financial support of the CBA/GSB Faculty Research Committee, College of Business Administration, University of Texas at Austin.  ... 
doi:10.1145/361026.361030 fatcat:b4llaajuqvgl5arxdv4v7vb6na

Mining Uncertain Event Data in Process Mining

Marco Pegoraro, Wil M.P. van der Aalst
2019 2019 International Conference on Process Mining (ICPM)  
In this paper we analyze the previously unexplored setting of uncertain event logs: logs where quantified uncertainty is recorded together with the corresponding data.  ...  Nowadays, more and more process data are automatically recorded by information systems, and made available in the form of event logs.  ...  Indeterminate events are indicated with a ? symbol, while determinate (regular) events are marked with a ! symbol. Table 1 . An example of strongly uncertain trace.  ... 
doi:10.1109/icpm.2019.00023 dblp:conf/icpm/PegoraroA19 fatcat:yitm5aluove6dna5cwriedlfju

Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness [article]

Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
2022 arXiv   pre-print
In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations.  ...  In this setting, upon the occurrence of an event, the sensor reading may be non-deterministic such that a set of output symbols are all possible.  ...  by states 2, 3 and 4, and each time when event c is executed at state 4, the sensor reads ε due to observation loss.  ... 
arXiv:2204.02617v1 fatcat:lsqe7cduynav5gigwcbsbjpjwu

Orion 2.0

Sarvjeet Singh, Chris Mayfield, Sagar Mittal, Sunil Prabhakar, Susanne Hambrusch, Rahul Shah
2008 Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08  
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types.  ...  In contrast to other uncertain databases, Orion supports both attribute and tuple uncertainty with arbitrary correlations.  ...  Starting with known events and domain knowledge, our system iteratively propagates estimated ranges from parents to children and vice versa.  ... 
doi:10.1145/1376616.1376744 dblp:conf/sigmod/SinghMMPHS08 fatcat:wtqanq7n5nfcxlynirpidutoly


Josky Aïzan, Cina Motamed, Eugene C. Ezin
2018 Figshare  
Trajectories which are a succession of points are firstly transformed into a succession of zones by grouping points to build the symbolic sequence database.  ...  The management of this confidence allows to reduce efficiently the volume of useful zones for the learning process.  ...  the events are uncertain) and the time (only time is uncertain) may all be uncertain.  ... 
doi:10.6084/m9.figshare.7397333 fatcat:5xysd3vcpjad5doqibd6qnzb2i

A new paradigm for uncertain knowledge representation by Plausible Petri nets

Manuel Chiachío, Juan Chiachío, Darren Prescott, John Andrews
2018 Information Sciences  
The main feature of PPNs resides in their efficiency to jointly consider the evolution of a discrete event system together with uncertain information about the system state using states of information  ...  ISSN 0020-0255 , http://dx.a b s t r a c t This paper presents a new model for Petri nets (PNs) which combines PN principles with the foundations of information theory for uncertain knowledge representation  ...  John Andrews is the LRF Director of the Resilience Engineering Research Group and also the Network Rail Professor of Infrastructure Asset Management at the University of Nottingham.  ... 
doi:10.1016/j.ins.2018.04.029 fatcat:tna5dygipfcc5kkeygnqnestoy

Verification of Hybrid Automata Diagnosability by Abstraction

Maria D. Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
2011 IEEE Transactions on Automatic Control  
We introduce a procedure to check diagnosability, and show that for the system class of our abstraction (namely for a subclass of timed automata: the durational graphs) the verification problem belongs  ...  A notion of diagnosability for hybrid systems is defined, which generalizes the common notion of observability.  ...  Definition 2 (Formal Language of Executions): The timed language of executions of the discrete state of is given by Given a subset of discrete states , we define the language of executions with finite  ... 
doi:10.1109/tac.2011.2105738 fatcat:h5cubnxfwvcgxmervduhs44jja
« Previous Showing results 1 — 15 out of 22,856 results