Search results for "Systems modeling"
showing 10 items of 18 documents
Ensuring the Reliability of an Autonomous Vehicle
2017
International audience; In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence ofbugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at thedesign level is very important, particularly, when the developed system concerns automotive applications supporting critical services.In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicatingcontinuously with of…
Estimation of brain connectivity through Artificial Neural Networks
2019
Among different methods available for estimating brain connectivity from electroencephalographic signals (EEG), those based on MVAR models have proved to be flexible and accurate. They rely on the solution of linear equations that can be pursued through artificial neural networks (ANNs) used as MVAR model. However, when few data samples are available, there is a lack of accuracy in estimating MVAR parameters due to the collinearity between regressors. Moreover, the assessment procedure is also affected by the lack of data points. The mathematical solution to these problems is represented by penalized regression methods based on l 1 norm, that can reduce collinearity by means of variable sel…
A fast BEM for the analysis of damaged structures with bonded piezoelectric sensors
2010
A fast boundary element method for the analysis of three-dimensional solids with cracks and adhesively bonded piezoelectric patches, used as strain sensors, is presented. The piezoelectric sensors, as well as the adhesive layer, are modeled using a 3D state-space finite element approach. The piezoelectric patch model is formulated taking into account the full electro-mechanical coupling and embodying the suitable boundary conditions and it is eventually expressed in terms of the interface variables, to allow a straightforward coupling with the underlying host structure, which is modeled through a 3D dual boundary element method, for accurate analysis of cracks. The technique is computationa…
Situation Understanding for Operational Art in Cyber Operations
2016
This paper presents a theoretically motivated framework and methodology that has been designed for finding out the emergent phenomena and information needs for planning and decision-making. The approach is based on complexity thinking, system modeling, communication and cognition philosophy, social system theories and content analysis research technique. It provides results with the analysis of quite small sets of information. The paper demonstrates the approach with a case study. The study was performed in an international cyber experiment of the Multinational Capability Development Campaign (MCDC) 2013-2014. The case study shows that the proposed approach is plausible for increasing under…
Estimation des performances, test et contrôle des systèmes cyber-physiques employant des réseaux de communication non idéaux
2020
Wireless technology is a key enabler of the promises of Industry 4.0 (Smart Manufacturing). As such, wireless technology will be adopted as a principal mode of communication within the factory beginning with the factory enterprise and eventually being adopted for use within the factory workcell. Factory workcell communication has particular requirements on latency, reliability, scale, and security that must first be met by the wireless communication technology used. Wireless is considered a non-ideal form of communication in that when compared to its wired counterparts, it is considered less reliable (lossy) and less secure. These possible impairments lead to delay and loss of data in indus…
IMPROVEMENTS IN THE SYSTEMS-BASED MODELS GENERATOR SIGEM
1994
Program generators, for us, are computer programs that produce other computer programs. SIGEM is an expert system program generator that can help in the modeling process of real systems. It is associated with a methodology well adapted to modeling practice. In this paper, we present and compare this methodology with other similar ones. Static models (databases), dynamic models, rule-based expert systems, literal and/or numerical variables, probabilistic uncertainty in data and in functions, dimensioned variables, discrete event simulation, and other related problems can be treated with this methodology. We suggest a systems modeling methodology and a programming tool to increase generality …
Simulated one-pass list-mode: an approach to on-the-fly system matrix calculation.
2013
In the development of prototype systems for positron emission tomography a valid and robust image reconstruction algorithm is required. However, prototypes often employ novel detector and system geometries which may change rapidly under optimization. In addition, developing systems generally produce highly granular, or possibly continuous detection domains which require some level of on-the-fly calculation for retention of measurement precision. In this investigation a new method of on-the-fly system matrix calculation is proposed that provides advantages in application to such list-mode systems in terms of flexibility in system modeling. The new method is easily adaptable to complicated sy…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…
Single-trial Connectivity Estimation through the Least Absolute Shrinkage and Selection Operator.
2019
Methods based on the use of multivariate autoregressive models (MVAR) have proved to be an accurate tool for the estimation of functional links between the activity originated in different brain regions. A well-established method for the parameters estimation is the Ordinary Least Square (OLS) approach, followed by an assessment procedure that can be performed by means of Asymptotic Statistic (AS). However, the performances of both procedures are strongly influenced by the number of data samples available, thus limiting the conditions in which brain connectivity can be estimated. The aim of this paper is to introduce and test a regression method based on Least Absolute Shrinkage and Selecti…