Capítulos de libros de INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION http://hdl.handle.net/11336/90171 2024-06-15T02:39:49Z 2024-06-15T02:39:49Z Alshareef, Abdurrahman Blas, María Julia Bonaventura, Matias Alejandro Paris, Thomas Yacoub, Aznam Zeigler, Bernard http://hdl.handle.net/11336/182923 2023-01-02T16:57:01Z 2022-01-01T00:00:00Z

Using DEVS for full life cycle model-based system engineering in complex network design Alshareef, Abdurrahman; Blas, María Julia; Bonaventura, Matias Alejandro; Paris, Thomas; Yacoub, Aznam; Zeigler, Bernard The Discrete Event System Specification (DEVS) is a modeling formalism that supports a general methodology for describing discrete event systems with the capability to represent continuous, discrete, and hybrid systems due to its system theoretic basis. In this chapter, we discuss the use of DEVS as the basic modeling and simulation framework for Model-Based System Engineering methodology that supports the critical stages in a top down design of complex networks. Focusingon the design of communication networks for emergency response, we show how such networks pose challenges to current technologies that current simulators cannot address. This sets the stage for considering how the DEVS formalism supports the required phases of top down design and the transitions from one phase to the next. After describing the proposed DEVS-based system engineering methodology in depth, we conclude with a discussion of the current state of its application, alsomentioning open research needed to bring it into general practice.

2022-01-01T00:00:00Z Grant, John Martinez, Maria Vanina Molinaro, Cristian Parisi, Francesco http://hdl.handle.net/11336/134086 2021-06-17T14:29:42Z 2018-01-01T00:00:00Z

On Measuring Inconsistency in Spatio-Temporal Databases Grant, John; Martinez, Maria Vanina; Molinaro, Cristian; Parisi, Francesco The problem of managing spatio-temporal data arises in many applications, such as location-based services, environmental monitoring, and geographic information systems. Often spatio-temporal data arising from such applications turn out to be inconsistent, i.e., representing an impossible situation in the real world. Several inconsistency measures have been proposed to quantify in a principled way inconsistency in classical knowledge bases. We start by showing how some of these measures carry over to spatio-temporal databases. Then, we define and investigate new measures that are particularly suitable for dealing with inconsistent spatio-temporal information because they explicitly take into account the spatial and temporal dimensions as well as the dimension concerning the identifiers of the monitored objects.

2018-01-01T00:00:00Z