T Emami,JM Watkins - Symposium on System Theory 被引量: 30发表: 2009年 Input-output approach to robust stability and stabilization for uncertain singular systems with time-varying discrete and distributed delays Based on input-output approach, the robust stability and stabilization problems for uncert...
An Input Output Symbolic Transition System (IOSTS) specifies all expected sequences of input and output messages of a reactive system. Symbolic execution over this IOSTS then allows to generate a set of test cases that can exercise the various possible behaviors of the system it represents. In...
Input-Output Analysis. Age-Structured Population Models. Markov Chains. Compartmental Systems. Queueing Systems. Conclusions. Annotated Bibliography. Bibliography. Appendices. Index. 作者简介 LORENZO FARINA, PhD, is Associate Professor of Modeling and Simulation, Dipartimento di Informatica e Sistemistica, ...
Code Issues Pull requests An interpreter for learning and exploring pure λ-calculus language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability Updated Apr 11, 2021 Haskell ...
This paper develops the refusal testing theory of multi input/output transition system (MIOTS) in the direction of distributed testing where multiple teste... M Frölich - International Conference on Software Engineering & Formal Methods 被引量: 3发表: 2004年 A TCPN-based model for testing dis...
To improve the identification performance of the AM-SG algorithm, an innovation length p is introduced to derive an auxiliary model-based multi-innovation stochastic gradient (AM-MISG) algorithm. Considering the most recent p sets of input-output data, define the stacked output vector 𝒀𝑖(...
In the past decades, impulsive control and stabilization has been shown to be a powerful tool in the theory and applications of nonlinear dynamical systems. While difficulties and challenges remain in the area of impulsive differential equations (Lakshmikantham et al., 1989), especially those ...
This example shows Multiple-Input-Multiple-Output (MIMO) systems, which use multiple antennas at the transmitter and receiver ends of a wireless communication system. MIMO systems are increasingly being adopted in communication systems for the potential gains in capacity they realize when using multiple...
A suitable mathematical model of the TLP system and the interaction between a deformable floating structure and surface wave motion are discussed by virtue of a partial differential equation as well as fuzzy logic theory. In particular, a set of PDC fuzzy controllers on a platform are considered ...
Predicting the evolution of a large system of units using its structure of interaction is a fundamental problem in complex system theory. And so is the problem of reconstructing the structure of interaction from temporal observations. Here, we find an intricate relationship between predictability and ...