Construct and solve a timed safety game Sample Clauses

Construct and solve a timed safety game. The safety specification is given in form of a network of timed input/output automata [2]. In the first step of the synthesis procedure, these automata are transformed into timed game automata [14] with a safety objective, i.e., the control objective is that bad states should never be visited. Solving the safety game leads to a winning strategy.
AutoNDA by SimpleDocs

Related to Construct and solve a timed safety game

  • Joint Occupational Health and Safety Committee The Employer and the Union recognize the role of the joint Occupational Health and Safety Committee in promoting a safe and healthful workplace. The parties agree that a Joint Occupational Health and Safety Committee shall be established for each Employer covered by this Collective Agreement. The Committee shall govern itself in accordance with the provisions of the Industrial Health and Safety Regulations made pursuant to the Workers’ Compensation Act. The Committee shall be as between the Employer and the Union, with equal representation, and with each party appointing its own representatives. Representatives of the Union shall be chosen by the Union membership or appointed by the Union. All minutes of the meetings of the Joint Occupational Health & Safety Committee will be recorded in a mutually agreeable format and will be sent to the Union. The Union further agrees to actively pursue with the other Health Care Unions a Joint Union Committee for the purposes of this Article. The Employer agrees to provide or cause to be provided to Employer members of the Joint Occupational Health and Safety Committee adequate training and orientation to the duties and responsibilities of committee members to allow the incumbents to fulfil those duties competently. The Union agrees to provide or cause to be provided to Union members of the Joint Occupational Health and Safety Committee adequate training and orientation to the duties and responsibilities of committee members to allow the incumbents to fulfil those duties competently. Such training and orientation shall take place within six (6) months of taking office.

  • Interconnection Facilities Engineering Procurement and Construction Interconnection Facilities, Network Upgrades, and Distribution Upgrades shall be studied, designed, and constructed pursuant to Good Utility Practice. Such studies, design and construction shall be based on the assumed accuracy and completeness of all technical information received by the Participating TO and the CAISO from the Interconnection Customer associated with interconnecting the Large Generating Facility.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CSTC chooses to subtend a Verizon access Tandem, CSTC’s NPA/NXX must be assigned by CSTC to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG. 9.2.2 CSTC shall establish Access Toll Connecting Trunks pursuant to applicable access Tariffs by which it will provide Switched Exchange Access Services to Interexchange Carriers to enable such Interexchange Carriers to originate and terminate traffic to and from CSTC’s Customers. 9.2.3 The Access Toll Connecting Trunks shall be two-way trunks. Such trunks shall connect the End Office CSTC utilizes to provide Telephone Exchange Service and Switched Exchange Access to its Customers in a given LATA to the access Tandem(s) Verizon utilizes to provide Exchange Access in such LATA. 9.2.4 Access Toll Connecting Trunks shall be used solely for the transmission and routing of Exchange Access to allow CSTC’s Customers to connect to or be connected to the interexchange trunks of any Interexchange Carrier which is connected to a Verizon access Tandem.

  • PROFESSIONAL DEVELOPMENT AND EDUCATIONAL IMPROVEMENT A. The Board of Education agrees to pay the actual tuition costs of courses taken by a teacher at accredited colleges or universities up to three courses per two (2) year fiscal periods from July 1, 2006 to June 30, 2008 and July 1, 2008 to June 30, 2010 respectively, except as follows: 1. No teacher may be reimbursed for courses taken during the first year of teaching in Vineland. 2. Teachers taking courses in the second and third years of employment in Vineland will not receive remuneration until tenure has been secured. The remuneration will then be retroactive and will be paid to the teacher in a lump sum within sixty (60) days after the teacher has secured tenure. 3. All courses must be pre-approved by the Superintendent or his designee subject to the following requirements: (a) A teacher must provide official documentation that he/she has obtained a grade of B or better; (b) Reimbursement shall be paid only for courses directly related to teacher’s teaching field which increase the teacher’s content knowledge and are related to the teacher’s current certification, as determined by the Superintendent or his/her designee in his/her sole discretion; no reimbursement shall be paid for courses leading to a post graduate or professional degree in a field other than education or teaching. Further, effective September 1, 2010, all newly hired teachers shall not be eligible for reimbursement until they are tenured, and they shall not be eligible for retroactive reimbursement upon gaining tenure for courses taken prior to being tenured. (c) The maximum total payments to be made by the Board shall not exceed $130,000.00. Courses shall be applied for no earlier than the following dates: Summer Session - April 1 Fall/Winter Session - June 1 Spring Session - October 1 Courses must, as set forth hereinabove in this sub-article 18.A.3, be pre-approved by the Superintendent or his designee, prior to the teacher commencing the course(s); and (d) Teacher taking courses shall sign a contract requiring them to reimburse the Board for all tuition paid for a course if the teacher shall voluntarily leave the employ of the Board within one (1) full school/academic year of completion of said course, except that reimbursement shall not be required when the teacher shall voluntarily leave the employ of the Board due to a significant, documented life change. 4. Tuition reimbursement costs shall be a sum not to exceed the actual cost of college credits charged in an accredited public State college/University of the State of New Jersey. B. When the Superintendent initiates in-service training courses, workshops, conferences and programs designed to improve the quality of instruction, the cooperation of the Vineland Education Association will be solicited. Notwithstanding the above, the initiation of in-service training courses, workshops, conferences and programs shall be determined solely at the discretion of the Board. C. One professional leave day may be granted to a teacher upon request, according to the following guidelines: 1. The professional day may be for attendance at a workshop, seminar or visit to another school for the expressed purpose of self professional improvement for the job. 2. The request shall arrive in the office of the Superintendent of Schools at least ten (10) working days prior to the date requested and shall be reviewed by the immediate supervisor prior to submission. The Board reserves the right to deny a professional leave day before or immediately following a holiday or on a day which by its nature suggests a hardship for providing a substitute. 3. No more than two teachers from any one elementary school or from any one department in the secondary schools may be granted a professional leave for a given day. 4. The teacher may be required to submit a report to the Superintendent of Schools, Assistant Superintendent, supervisor (s), principal and staff regarding the activity of the professional day. 5. Costs incurred by the teacher for the professional day authorized under this Section shall be the teacher’s responsibility. 6. A maximum of 90 professional leave days may be authorized for the school year which shall be apportioned as follows: elementary, 35; grades seven and eight, 20; and high school, 35. D. If the Board initiates a teacher’s attendance at a professional workshop, seminar or visit, the expenses shall be the responsibility of the Board. Further, this day shall not be subtracted from the 90 professional leave days granted to teachers of the Association. E. The Board agrees to pay the full cost of courses taken by secretaries related to skills and knowledge improvement when such courses are required and approved by the Board. F. The Board and the Association agree that it is important to communicate when developing and implementing current and future learning technologies, including but not limited to distance and on-line learning.

  • Construction Management Plan Contractor shall prepare and furnish to the Owner a thorough and complete plan for the management of the Project from issuance of the Proceed Order through the issuance of the Design Professional's Certificate of Material Completion. Such plan shall include, without limitation, an estimate of the manpower requirements for each trade and the anticipated availability of such manpower, a schedule prepared using the critical path method that will amplify and support the schedule required in Article 2.1.5 below, and the Submittal Schedule as required in Article 2.2.3. The Contractor shall include in his plan the names and resumés of the Project Superintendent, Project Manager and the person in charge of Safety.

  • Accident Prevention Health and Safety Committee (a) The Employer and the Union agree that they mutually desire to maintain standards of safety and health in the workplace in order to prevent accidents, injury and illness. (b) Recognizing its responsibilities under the applicable legislation, the Employer agrees to accept as a member of its Accident Prevention – Health & Safety Committee at least three (3) representatives, one from each base, selected or appointed by the Union from amongst bargaining unit employees. At any time where a vote is required, an equal number of representatives from each side shall be entitled to vote. (c) Such Committee shall identify potential dangers and hazards, institute means of improving health and safety programs and recommend actions to be taken to improve conditions related to safety and health. (d) The Employee agrees to co-operate reasonably in providing necessary information to enable the Committee to fulfill its functions. (e) Meetings shall be held quarterly or more frequently at the call of the Chair if required. The Committee shall maintain minutes of all meetings and make the same available for review. (f) Any representative appointed or select in accordance with (b) hereof shall serve a term of one (1) calendar year from the date of appointment which may be renewed for further periods of one (1) year. The Union will encourage its representative(s) to serve at least one (1) year. Time off for such representative(s) to attend meetings of the Accident Prevention – Health & Safety Committee in accordance with the foregoing shall be granted and time so spent attending such meetings shall be deemed to be work time for which the representative(s) shall be paid by the Employer at his regular or premium rate as may be applicable. (g) The Union agrees to endeavour to obtain the full co-operation of its membership in the observation of all safety rules and practices. (h) Pregnant employees may request to be transferred from their current duties if, in the professional opinion of the employee’s physician, the pregnancy may be at risk. If such a transfer is not feasible, the pregnant employee, if she so requests, will be granted an unpaid leave of absence before commencement of the maternity leave referred to in Article 16.04

  • Construction Phase Services 3.1.1 – Basic Construction Services

  • Synchronization, Commissioning and Commercial Operation 4.1.1 The Power Producer shall give at least fifteen (15) days written notice to the SLDC / ALDC / DISCOM as the case may be, of the date on which it intends to synchronize the Power Project to the Grid System. 4.1.2 Subject to Article 4.1.1, the Power Project may be synchronized by the Power Producer to the Grid System when it meets all the connection conditions prescribed in the Grid Code and otherwise meets all other Indian legal requirements for synchronization to the Grid System. 4.1.3 The synchronization equipment and all necessary arrangements / equipment including Remote Terminal Unit (RTU) for scheduling of power generated from the Project and transmission of data to the concerned authority as per applicable regulation shall be installed by the Power Producer at its generation facility of the Power Project at its own cost. The Power Producer shall synchronize its system with the Grid System only after the approval of GETCO / SLDC / ALDC and GEDA. 4.1.4 The Power Producer shall immediately after each synchronization / tripping of generator, inform the sub-station of the Grid System to which the Power Project is electrically connected in accordance with applicable Grid Code. 4.1.5 The Power Producer shall commission the Project within SCOD. 4.1.6 The Power Producer shall be required to obtain Developer and/ or Transfer Permission, Key Plan drawing etc, if required, from GEDA. In cases of conversion of land from Agricultural to Non-Agriculture, the commissioning shall be taken up by GEDA only upon submission of N.A. permission by the Power Producer. 4.1.7 The Power Producer shall be required to follow the Forecasting and Scheduling procedures as per the Regulations issued by Hon’ble GERC from time to time. It is to clarify that in terms of GERC (Forecasting, Scheduling, Deviation Settlement and Related Matters of Solar and Wind Generation Sources) Regulations, 2019 the procedures for Forecasting, Scheduling & Deviation Settlment are applicable to all solar generators having combined installed capacity above 1 MW connected to the State Grid / Substation including those connected via pooling stations.

  • Health and Safety Representatives The Employer and its Employees will comply with Part 7 of the OHS Act – Representation of Employees in relation to the establishment of designated work groups and the election of Health and Safety Representatives.

  • Project Implementation Manual The Recipient, through the PCU, shall: (i) take all action required to carry out Parts 1.1, 1.3, 1.4, 2, 3.1(b), 3.2, 3.3 and 4 (ii) of the Project in accordance with the provisions and requirements set forth or referred to in the Project Implementation Manual; (ii) submit recommendations to the Association for its consideration for changes and updates of the Project Implementation Manual as they may become necessary or advisable during Project implementation in order to achieve the objective of Parts 1.1, 1.3, 1.4, 2, 3.1(b), 3.2, 3.3 and 4(ii) of the Project; and (iii) not assign, amend, abrogate or waive the Project Implementation Manual or any of its provisions without the Association’s prior agreement. Notwithstanding the foregoing, if any of the provisions of the Project Implementation Manual is inconsistent with the provisions of this Agreement, the provisions of this Agreement shall prevail and govern.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!