CDV/TC Merger Model Sample Clauses

CDV/TC Merger Model. Our co-simulation design requires a separate FMU that generates the com- bined CDV and telecommand vectors of both trains. These are inferred from the current track segment and telecommand requests of each individual train. The relevant equation for the CDV signal is presented below. Once again, the negation reflects that track segments are occupied when their CDV value is false. The computation of the TC signal is very similar. The for-loop yields a conjunction of all iterated behaviours. An important supplementary task of the CDV/TC Merger FMU is to gen- erate signals that check whether safety requirements are met. These signals here are collision and derailment; they are both boolean outputs of the model, and their definition is recaptured below. Figure 9: Co-simulation of the railways system after injecting a fault. To explain this equation, we note that the track segment of a train, given by train1 segment and train2 segment, under normal conditions takes val- ues in the range 1 to 13 — that is, when the train is within the boundaries of the interlocking. A track segment becomes 0 when the train leaves the inter- locking, and −1 when it derails due to crossing a badly-aligned switch. As part of INTO-CPS Deliverable D1.3, a working co-simulation of our model has been produced. A simulation scenario is demonstrated in Fig. 9, where a fault has been injected into the interlocking controller. The blue and read lines illustrate the movement of trains on the railway tracks; the green light probes the collision signal of the CDV/TC Merger FMU and thus indicates that a train collision occurs on track segment 8.
Sample 1
AutoNDA by SimpleDocs

Related to CDV/TC Merger Model

  • The Merger Upon the terms and subject to the conditions of this Agreement and in accordance with the DGCL, at the Effective Time (as defined below), Merger Sub shall be merged with and into the Company. As a result of the Merger, the separate corporate existence of Merger Sub shall cease and the Company shall continue as the surviving corporation of the Merger (the “Surviving Corporation”).

  • Effective Time Subject to the provisions of this Agreement, at the Closing, the Company, Parent, and Merger Sub will cause a certificate of merger (the “Certificate of Merger”) to be executed, acknowledged, and filed with the Secretary of State of the State of Delaware in accordance with the relevant provisions of the DGCL and shall make all other filings or recordings required under the DGCL. The Merger will become effective at such time as the Certificate of Merger has been duly filed with the Secretary of State of the State of Delaware or at such later date or time as may be agreed by the Company and Parent in writing and specified in the Certificate of Merger in accordance with the DGCL (the effective time of the Merger being hereinafter referred to as the “Effective Time”).

  • Mergers (a) The Trust may not consolidate, amalgamate, merge with or into, or be replaced by, or convey, transfer or lease its properties and assets substantially as an entirety to any Person, except as described in Section 3.15(b) and (c) or Section 8.2.

  • Merger & Modification This Contract constitutes the entire agreement between the parties. No understandings, agreements, or representations, oral or written, not specified within this Contract will be valid provisions of this Contract. This Contract may not be modified, supplemented, or amended, except by written agreement signed by all necessary parties.

  • Off-Exchange Transactions In some jurisdictions, and only then in restricted circumstances, firms are permitted to effect off-exchange transactions. The firm with which you deal may be acting as your counterparty to the transaction. It may be difficult or impossible to liquidate an existing position, to assess the value, to determine a fair price or to assess the exposure to risk. For these reasons, these transactions may involve increased risks. Off-exchange transactions may be less regulated or subject to a separate regulatory regime. Before you undertake such transactions, you should familiarize yourself with applicable rules and attendant risks.

  • Split Transactions You can instruct a merchant to charge your Card for part of a purchase and pay any remaining amount with cash or another card. This is called a “split transaction.” Some merchants do not permit split transactions. If you wish to conduct a split transaction, you must tell the merchant the exact amount you would like charged to your Card. If you fail to inform the merchant you would like to complete a split transaction and you do not have sufficient available funds in your Account to cover the entire purchase amount, your Card is likely to be declined.

  • Mergers, Reorganizations and Equity Transfers Each of the Company and any Sponsor Affiliates acknowledges that any mergers, reorganizations or consolidations of the Company and such Sponsor Affiliates may cause the Project to become ineligible for negotiated fees in lieu of taxes under the FILOT Act absent compliance by the Company and such Sponsor Affiliates with the Transfer Provisions; provided that, to the extent provided by Section 12-44- 120 of the FILOT Act or any successor provision, any financing arrangements entered into by the Company or any Sponsor Affiliates with respect to the Project and any security interests granted by the Company or any Sponsor Affiliates in connection therewith shall not be construed as a transfer for purposes of the Transfer Provisions. Notwithstanding anything in this Fee Agreement to the contrary, it is not intended in this Fee Agreement that the County shall impose transfer restrictions with respect to the Company, any Sponsor Affiliates or the Project as are any more restrictive than the Transfer Provisions.

  • Sub-Loop In locations where SBC-AMERITECH has deployed: (1) Digital Loop Carrier systems and an uninterrupted copper loop is replaced with a fiber segment or shared copper in the distribution section of the loop; (2) Digital Added Main Line (“DAML”) technology to derive multiple voice-grade POTS circuits from a single copper pair; or (3) entirely fiber optic facilities to the end user, SBC-AMERITECH will make the following options available to CLEC:

  • Non-Merger Except as otherwise provided in this Agreement, the covenants, representations and warranties set out in this Agreement do not merge but survive Closing and, notwithstanding such Closing or any investigation by or on behalf of a Party, continue in full force and effect. Closing does not prejudice any right of one Party against another Party in respect of any remedy in connection with anything done or omitted to be done under this Agreement.

  • Merger The Company merges into or consolidates with another corporation, or merges another corporation into the Company, and as a result less than a majority of the combined voting power of the resulting corporation immediately after the merger or consolidation is held by persons who were stockholders of the Company immediately before the merger or consolidation.

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