A Formal Treatment of FMI Sample Clauses

A Formal Treatment of FMI. ‌ To highlight and uncover issues with the evolving FMI standard, and to investigate the FMI formally, Xxxxxx et al [BBG+13] develop FMI’s most influential formalisation to date. This formalisation of a relevant subset of the FMI standard consists of a state-based functional model; relevant procedures of FMI’s API (abstract programming interface), which acts as the interface between MA and the slave FMUs, are modelled as functions. The paper studies FMI’s main subject-matter: simulations of continuous models based on numerical methods to approximate differential equations. Desirable properties of such methods are convergence (whether the method approximates the solution) and stability (whether errors are damped out). To ensure convergence, [BBG+13] investigates determinism, studying the situations under which determinate execution is ensured — that is, different runs of a MA on a given FMU network give the same results. To avoid nondeterminism and the possibility of unexpected results, the paper proposes a way to check for the absence of algebraic loops (convergence cannot be guaranteed in the presence of algebraic loops) by checking the acyclicity of the directed graph describing the dependencies between input and output ports of FMUs. The MAs of [BBG+13] preclude configurations with algebraic loops and are proved to be determinate. Although the model is formal, the proofs of the paper’s main theorems are rigorous and grounded on the paper’s formalisation, but they are not formal. It is interesting to comment on the emphasis that [BBG+13] puts on deter- minism. In a hybrid co-simulation setting made up of continuous and discrete components, nondeterminism may not necessarily be a bad thing. Continu- ous models may have non-determinism when they have components that rely on random numbers, for instance. Abstract models of discrete systems are often nondeterministic; that is seen as a means to achieve abstraction [HJ89]. Although nondeterminism is often at odds with model executability [HJ89], the discrete modelling community has found ways of conciliating these two opposing forces. The formal model of [BBG+13] would have to be refactored to be applicable to a world of possibly non-deterministic discrete components as all the API procedures are modelled as total functions. Given that the authors of [BBG+13] observe in [BGL+14] that the FMI should be appli- cable to general-purpose hybrid systems, it appears that the emphasis on determinacy should be relaxed...
Sample 1
AutoNDA by SimpleDocs

Related to A Formal Treatment of FMI

  • National Treatment In the sectors inscribed in its Schedule, and subject to any conditions and qualifications set out therein, each Party shall accord to services and service suppliers of the other Party treatment no less favourable than that it accords, in like circumstances, to its own services and service suppliers.

  • Equal Treatment No consideration shall be offered or paid to any person to amend or consent to a waiver or modification of any provision of the Transaction Documents unless the same consideration is also offered and paid to all the Subscribers and their permitted successors and assigns.

  • Medical Treatment Undersigned understands that the Released Parties do not have medical personnel available at the location of the activities. Undersigned hereby grants the Released Parties permission to administer first aid or to authorize emergency medical treatment, if necessary. Undersigned understands and agrees that any such action by the Released Parties shall be subject to the terms of this agreement and release, including any liability arising from the negligence of the Released Parties when administering first aid or authorizing others to do so. Undersigned understands and agrees that the Released Parties do not assume responsibility for any injury or damage which might arise out of or in connection with such authorized emergency medical treatment.

  • Equal Treatment of Purchasers No consideration (including any modification of any Transaction Document) shall be offered or paid to any Person to amend or consent to a waiver or modification of any provision of the Transaction Documents unless the same consideration is also offered to all of the parties to the Transaction Documents. For clarification purposes, this provision constitutes a separate right granted to each Purchaser by the Company and negotiated separately by each Purchaser, and is intended for the Company to treat the Purchasers as a class and shall not in any way be construed as the Purchasers acting in concert or as a group with respect to the purchase, disposition or voting of Securities or otherwise.

  • Emergency Medical Treatment I grant the Releasees permission to authorize emergency medical treatment as they deem appropriate, and agree that such action by the Releasees shall be subject to the terms of this Agreement. I understand and agree that the Releasees assume no responsibility for any injury or damage that might result from such emergency medical treatment.

  • Confidential Treatment The parties hereto understand that any information or recommendation supplied by the Sub-Adviser in connection with the performance of its obligations hereunder is to be regarded as confidential and for use only by the Investment Manager, the Company or such persons the Investment Manager may designate in connection with the Fund. The parties also understand that any information supplied to the Sub-Adviser in connection with the performance of its obligations hereunder, particularly, but not limited to, any list of securities which may not be bought or sold for the Fund, is to be regarded as confidential and for use only by the Sub-Adviser in connection with its obligation to provide investment advice and other services to the Fund.

  • National Treatment and Most-favoured-nation Treatment (1) Each Contracting Party shall accord to investments of investors of the other Contracting Party, treatment which shall not be less favourable than that accorded either to investments of its own or investments of investors of any third State.

  • CONFIDENTIAL TREATMENT REQUESTED Certain portions of this document have been omitted pursuant to a request for confidential treatment and, where applicable, have been marked with an asterisk (“[*****]”) to denote where omissions have been made. The confidential material has been filed separately with the Securities and Exchange Commission.

  • Fair Treatment The College and the Union agree that there shall be no discrimination, restriction, or coercion exercised or practised with respect to any employee for reason of membership or activity in the Union.

  • Protection of Residual Trees Pur- chaser’s Operations shall not unnecessarily damage young growth or other trees to be reserved.

Time is Money Join Law Insider Premium to draft better contracts faster.