Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach
نویسندگان
چکیده
منابع مشابه
Non-standard semantics of hybrid systems modelers
Hybrid system modelers have become a corner stone of complex embedded system development. Embedded systems include not only control components and software, but also physical devices. In this area, Simulink is a de facto standard design framework, and Modelica a new player. However, such tools raise several issues related to the lack of reproducibility of simulations (sensitivity to simulation ...
متن کاملRigorous Simulation-Based Analysis of Linear Hybrid Systems
Design analysis of Cyber-Physical Systems (CPS) with complex continuous and discrete behaviors, in-practice, relies heavily on numerical simulations. While useful for evaluation and debugging, such analysis is often incomplete owing to the nondeterminism in the discrete transitions and the uncountability of the continuous space. In this paper, we present a precise notion of simulations for CPS ...
متن کاملHybrid Systems Modeling in Non Standard Queue and Optimization with the Simulation Approach in CNG Stations
Modeling line in non standard way occurs when layout constraints and inappropriate placing customer is limited for taking customer service by the servant. The aim of this study is providing a mixed model for analyzing the system of non-standard line with Considering the limitations of the layout with Using the concepts and principles of queuing theory So that the main parameters of the model fo...
متن کاملAn Approach to Non-standard Analysis
This note has two principal aims: to portray an essence of Non-Standard Analysis as a particular structure (which we call lim-rim), noting its interplay with the notion of ultrapower, and to present a construction of Non-Standard Analysis, viewed as a matter of mathematics, where the set A of non-standard elements of a set A – “the adjunction of all possible limits” is a “good” kind of lim-rim ...
متن کاملSoftware Architecture Modeling & Analysis: A Rigorous Approach
In this overview paper, we outline a tool supported approach to the design and analysis of complex systems at the architectural level. The foundations of this approach are the use of the architectural description language Darwin to capture structural information about components and their interconnection and the use of a process algebra FSP to describe the behaviour of individual components. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.11.164