Page 1 Next

Displaying 1 – 20 of 68

Showing per page

A federated approach to parallel and distributed simulation of complex systems

Andrzej Sikora, Ewa Niewiadomska-Szynkiewicz (2007)

International Journal of Applied Mathematics and Computer Science

The paper describes a Java-based framework called ASimJava that can be used to develop parallel and distributed simulators of complex real-life systems. Some important issues associated with the implementation of parallel and distributed simulations are discussed. Two principal paradigms for constructing simulations today are considered. Particular attention is paid to an approach for federating parallel and distributed simulators. We describe the design, performance and applications of the ASimJava...

A hierarchical decomposition of decision process Petri nets for modeling complex systems

Julio Clempner (2010)

International Journal of Applied Mathematics and Computer Science

We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs). It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. As a result, the complexity of the analysis for a sophisticated system is drastically reduced. In the HDPPN, we represent the mark-dynamic and trajectory-dynamic properties of a DPPN. Within the framework of the mark-dynamic...

A mathematical model for file fragment diffusion and a neural predictor to manage priority queues over BitTorrent

Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana (2016)

International Journal of Applied Mathematics and Computer Science

BitTorrent splits the files that are shared on a P2P network into fragments and then spreads these by giving the highest priority to the rarest fragment. We propose a mathematical model that takes into account several factors such as the peer distance, communication delays, and file fragment availability in a future period also by using a neural network module designed to model the behaviour of the peers. The ensemble comprising the proposed mathematical model and a neural network provides a solution...

A safe supervisory flight control scheme in the presence of constraints and anomalies

Giuseppe Franzè, Angelo Furfaro, Massimiliano Mattei, Valerio Scordamaglia (2015)

International Journal of Applied Mathematics and Computer Science

In this paper the hybrid supervisory control architecture developed by Famularo et al. (2011) for constrained control systems is adopted with the aim to improve safety in aircraft operations when critical events like command saturations or unpredicted anomalies occur. The capabilities of a low-computational demanding predictive scheme for the supervision of non-linear dynamical systems subject to sudden switchings amongst operating conditions and time-varying constraints are exploited in the flight...

Algebraic condition for decomposition of large-scale linear dynamic systems

Henryk Górecki (2009)

International Journal of Applied Mathematics and Computer Science

The paper concerns the problem of decomposition of a large-scale linear dynamic system into two subsystems. An equivalent problem is to split the characteristic polynomial of the original system into two polynomials of lower degrees. Conditions are found concerning the coefficients of the original polynomial which must be fulfilled for its factorization. It is proved that knowledge of only one of the symmetric functions of those polynomials of lower degrees is sufficient for factorization of the...

Analysis of structural properties of Petri nets based on product incidence matrix

Guangyou Ji, Mingzhe Wang (2013)


This paper presents some structural properties of a generalized Petri net (PN) with an algorithm to determine the (partial) conservativeness and (partial) consistency of the net. A product incidence matrix A = C C T or A ˜ = C T C is defined and used to further improve the relations among PNs, linear inequalities and matrix analysis. Thus, based on Cramer’s Rule, a new approach for the study of the solution of a linear system is given in terms of certain sub-determinants of the coefficient matrix and an efficient...

Application of a Java-based framework to parallel simulation of large-scale systems

Ewa Niewiadomska-Szynkiewicz, Maciej Żmuda, Maciej Żmuda (2003)

International Journal of Applied Mathematics and Computer Science

Large-scale systems, such as computer and telecommunication networks, complex control systems and many others, operate in inherently parallel environments. It follows that there are many opportunities to admit parallelism into both the algorithm of control implementation and simulation of the system operation considered. The paper addresses issues associated with the application of parallel discrete event simulation (PDES). We discuss the PDES terminology and methodology. Particular attention is...

Approximation of large-scale dynamical systems: an overview

Athanasios Antoulas, Dan Sorensen (2001)

International Journal of Applied Mathematics and Computer Science

In this paper we review the state of affairs in the area of approximation of large-scale systems. We distinguish three basic categories, namely the SVD-based, the Krylov-based and the SVD-Krylov-based approximation methods. The first two were developed independently of each other and have distinct sets of attributes and drawbacks. The third approach seeks to combine the best attributes of the first two.

Complementary matrices in the inclusion principle for dynamic controllers

Lubomír Bakule, José Rodellar, Josep M. Rossell (2003)


A generalized structure of complementary matrices involved in the input-state- output Inclusion Principle for linear time-invariant systems (LTI) including contractibility conditions for static state feedback controllers is well known. In this paper, it is shown how to further extend this structure in a systematic way when considering contractibility of dynamic controllers. Necessary and sufficient conditions for contractibility are proved in terms of both unstructured and block structured complementary...

Condiciones algebraicas de existencia y estabilidad para el diseño de controladores para sistemas lineales multivariables interconectados.

Manuel de la Sen (1986)


This paper presents an algebraic design theory for interconnected systems. Usual multivariable linear systems are described in a unified way. Both square and nonsquare plants and controllers are included in the study and an easy characterization of the achievable I/O (input-to-output) and D/O (disturbance-to-output) maps is presented through the use of appropriate controllers. Sufficient conditions of stability are given.

Currently displaying 1 – 20 of 68

Page 1 Next