Abstract: A method of controlling energy consumption in a building includes receiving occupancy data including at least one of occupant request data and occupant schedule data, receiving weather data including at least one of current weather measurement data and weather forecast data, generating an output control signal based on the occupancy data and the weather data, and transmitting the output control signal to a building automation system (BAS) of the building. The occupant request data includes a current request, and the occupant schedule data includes a predicted occupant schedule. The output control signal adjusts a building control device in a zone in the building.

Abstract: A method including: computing a total cost for a first zone in a building, wherein the total cost is equal to an actual energy cost of the first zone plus a thermal discomfort cost of the first zone; and heuristically optimizing the total cost to identify temperature setpoints for a mechanical heating/cooling system and a start time and an end time of the mechanical heating/cooling system, based on external weather data and occupancy data of the first zone.

Abstract: A three-layer model of an engineering system is proposed for developing and evaluating a resilient industrial control system incorporated within the engineering system, the model based upon a group of metrics that are cyclically estimated, operated and evaluated to create a valid resilient arrangement. The layers in the model include a human/operator layer, an automation layer and a process layer, where the industrial control system resides in the automation layer. The metrics are based upon the identification of a number of undesirable incidents, as well a determination of the frequency of occurrence of these incidents, their impact on the performance of the engineering system and the financial loss of the engineering system based upon these undesirable incidents.

Abstract: Disclosed is an antifoaming agent for vinyl chloride resin slurry. The agent of the present invention may prevent generation of Fish eyes and deteriorate in production efficiency caused by slurry foams without inhibiting inherent transparency of vinyl chloride resins, in the process of preparing the vinyl chloride resins by polymerizing a monomer mixture containing vinyl chloride as a main component in a polymerization reactor.

Abstract: Formal methods are instituted to verify and validate the finite state machine (FSM) of PLC redundancy software. The method and system is implemented through each phase in the lifecycle of the redundancy software; that is, the requirement phase, design phase, implementation phase and, finally, integration phase (including system integration). At each step along the way, the verification and validation process uses tools such as a checklist-based review and inspection, a requirement traceability analysis, formal verification (model checking) and the like to ensure that the created redundancy software is error-free and will perform as intended when implemented in the redundant PLC system.

Abstract: A method and system may operate to receive a first data from a sensor of a controlled device via a wireless network at a first time, transmit the first data to a controller system, receive a second data from the sensor of the controlled device via the wireless network at a second time, transmit the second data to the controller system, determine that a third data has not been received prior to a predetermined time period, or that the third data has been received prior to the predetermined time period and the third data is outside of a determined range of values, calculate a fourth data based on the first data and the second data, and transmit the fourth data to the controller system at a third time.

Abstract: A method and system may operate to receive a first data from a sensor of a controlled device via a wireless network at a first time, transmit the first data to a controller system, receive a second data from the sensor of the controlled device via the wireless network at a second time, transmit the second data to the controller system, determine that a third data has not been received prior to a predetermined time period, or that the third data has been received prior to the predetermined time period and the third data is outside of a determined range of values, calculate a fourth data based on the first data and the second data, and transmit the fourth data to the controller system at a third time.