Zobrazeno 1 - 10
of 257
pro vyhledávání: '"VILLA, TIZIANO"'
Almost all problems in applied mathematics, including the analysis of dynamical systems, deal with spaces of real-valued functions on Euclidean domains in their formulation and solution. In this paper, we describe the the tool Ariadne, which provides
Externí odkaz:
http://arxiv.org/abs/2306.17541
BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verification. There are several implementations for BDD manipulation, where
Externí odkaz:
http://arxiv.org/abs/2305.00039
Publikováno v:
In Nonlinear Analysis: Hybrid Systems November 2024 54
Autor:
Bresolin, Davide, Collins, Pieter, Geretti, Luca, Segala, Roberto, Villa, Tiziano, Živanović Gonzalez, Sanja
Publikováno v:
In Information and Computation October 2024 300
Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is equivalent (with a suitable not
Externí odkaz:
http://arxiv.org/abs/2106.13852
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study deterministic timed finite state machines (TFSMs), i.e., finite state machines
Externí odkaz:
http://arxiv.org/abs/2103.04868
Publikováno v:
EPTCS 326, 2020, pp. 216-233
Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called quotient. Across domains, the meanings of the binary operation and th
Externí odkaz:
http://arxiv.org/abs/2009.10886
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide several the
Externí odkaz:
http://arxiv.org/abs/2001.11330
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 33, Iss 1, Pp 133-149 (2023)
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable no
Externí odkaz:
https://doaj.org/article/ab0576b2dffe4f558ecedd4e03078e31