Abstract:
An electric power system includes an OLTC transformer including a plurality of primary and secondary windings inductively coupled to each other. The electric power system includes at least one on-load tap changer coupled to at least one of the primary and secondary windings that is selectively configurable to regulate the portion of the primary and secondary windings inductively coupled to each other. The electric power system also includes a plurality of buses coupled to the transformer and are positioned downstream therefrom. The electric power system further includes at least one processor coupled to the tap changer configured to regulate a voltage bandwidth of the tap changer as a function of estimated voltage values of at least one bus as estimated based on a priori values of power/current transmitted through each bus. The a priori values are substantially based on measured power/current transmission through the on-load tap changer.
Abstract:
Virtual flow estimation is described that is suitable for use under steady-state and non-steady-state (i.e., transient) conditions. Examples of such an approach may not perform discretization of the underlying model described by partial differential equations, but may instead perform discretization in a derived estimator separate and distinct from the underlying model. In this manner, a non-executable continuous time-estimator may be transformed to an executable discrete time-estimator suitable for use in under non-steady state (i.e., transient) conditions.
Abstract:
According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.
Abstract:
A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.
Abstract:
A system for online filtering of photovoltaic (PV) output signals includes a programmable filter that is programmed to decompose measured PV output power into an estimated low-frequency signal component, based substantially on movement of the sun and an estimated high-frequency signal component, based substantially on cloud shading. An open loop controller generates a reactive power compensation signal based on at least one of the low-frequency signal component and the high-frequency signal component. The low-frequency signal component is defined by a positive portion of a sine curve that is based substantially on movement of the sun.
Abstract:
A sensor system for identifying a transient sensor failure in an industrial system and for recovering from an erroneous estimation of an expected mass flow rate resulting from the transient sensor failure. The sensor system includes one or more sensors for measuring at least one fluid property of the industrial system. The sensor system includes an enhanced flow soft sensing (EFSS) computing device configured to determine an estimated mass flow rate. The EFSS computing device is also configured to generate expected measurements to be received from one or more sensors. If an error value is not within predetermined parameters, the transient sensor failure is detected. The EFSS computing device is further configured to identify a resurgence of the sensor from the transient sensor failure. An erroneous expected mass flow rate then converges toward a correct expected mass flow rate.
Abstract:
Approaches for a modeling and estimation approach for a virtual flow meter (VFM) are described. Certain aspects of the present virtual flow meter approaches relate to the manner in which multiple sources of information in the field are merged within a filter framework for estimation. In certain implementations, both mass flow and pressure at every node of the field are considered as part of the state estimated by the filter algorithm.
Abstract:
A system for online filtering of photovoltaic (PV) output signals includes a programmable filter that is programmed to decompose measured PV output power into an estimated low-frequency signal component, based substantially on movement of the sun and an estimated high-frequency signal component, based substantially on cloud shading. An open loop controller generates a reactive power compensation signal based on at least one of the low-frequency signal component and the high-frequency signal component. The low-frequency signal component is defined by a positive portion of a sine curve that is based substantially on movement of the sun.
Abstract:
An electric power system includes a generating unit, which includes a controller for controlling an operational mode of the generating unit. The electric power system also includes an event estimator communicatively coupled to the controller of the generating unit and a network estimator communicatively coupled to the event estimator. The network estimator includes a processor configured to receive status information associated with the electric power system, determine, based upon the status information, at least one characteristic of the electric power system, and transmit the at least one characteristic to the event estimator.
Abstract:
A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.