145 results about "Cyber-physical system" patented technology

In systems for establishing a cryptographic key depending on a physical uncloneable function (PUF) it may be a problem that internal information correlated with the cryptographic key is leaked to the outside of the system via a side-channel. To mitigate this problem a cryptographic system for reproducibly establishing a cryptographic key is presented. The system comprises a physical system comprising a physical, at least partially random, configuration of components from which an initial bit-string is derived. An error corrector corrects deviations occurring in the initial bit-string. Through the use of randomization the error corrector operates on a randomized data. Information leaking through a side channel is thereby reduced. After error correction a cryptographic key may be derived from the initial bit-string.

A cyber security system and method that includes one or more devices configured to determine a cyber security threat or breach event based on analysis of operational information of a protected system.

The invention discloses a no-signal intersection vehicle intelligent cooperative passage method based on a CPS (Cyber-Physical System), aiming to overcome the shortcomings of green light zero passage and low passage efficiency caused by fixed traffic light time control, and lack of information interaction among vehicles in the intersection passage management of prior art. Based on the deep fusion of the 3C (computing, communication and control) technology in a CPS, and supported by the GPS technology, vehicle-vehicle communication technology and speed intelligent control technology, the method is provided and comprises three steps of vehicle passage data acquisition, information processing and communication, and decision control; vehicles close to an intersection continuously obtain the passage information of local vehicles, and perform communication interaction with vehicles in other directions so as to percept surrounding environments in real time, and on the basis, the method performs dynamic decision making and control, i.e., the method analyzes whether the local vehicles and other vehicles exist potential bump risks according to the passage information of surrounding vehicles, cuts the risks, considers vehicle passage priorities, controls speeds and ensures vehicle safe and efficient passage.

To address the security requirements for cyber-physical systems, embodiments of the present invention include a resilient end-to-end message protection framework, termed Resilient End-to End Message Protection or REMP, exploiting the notion of the long-term key that is given on per node basis. This long term key is assigned during the node authentication phase and is subsequently used to derive encryption keys from a random number per-message sent. Compared with conventional schemes, REMP improves privacy, message authentication, and key exposure, and without compromising scalability and end-to-end security. The tradeoff is a slight increase in computation time for message decryption and message authentication.

A unified system for development of robotics and other cyber-physical systems is discussed. The unified system includes a platform that integrates the processing of actuators and sensors and other modules. The platform is inter-operable into many existing systems. Various modules are developed to do discrete tasks that are commonly found in robotics such as moving motors or reading and controlling sensors. The modules communicate with each other and with other devices such as computers and user built modules through the use of a commonly supported abstract communication protocol.

The invention discloses a reliability evaluation method of a distribution network cyber-physical system considering the whole process of fault processing. The reliability evaluation method of the distribution network cyber-physical system considering the whole process of fault processing comprises the following steps: initializing the distribution network cyber-physical system; confirming the current state of the distribution network cyber-physical system based on the sequential Monte Carlo method; obtaining the reliability of the three stages of fault location, fault isolation and power supply recovery by means of the fault tree model in view of the state of the distribution network cyber-physical system after the fault; classifying the load points according to the fault processing whole process event tree model to determine the impact degree of the fault processing on each load point; and calculating to obtain the system reliability indexes finally. The invention reflects the effect of the information failure on the state of the system after the fault from the overall point of view of fault processing, and takes full consideration of the time sequence process of the fault processing. According to the reliability evaluation method of the distribution network cyber-physical system considering the whole process of fault processing, the function of the information system in the analysis process of the fault consequences is considered, therefore, the invention helps to identify the integrated energy and the weak links of the communication infrastructure, assists the integrated operation of the distribution network cyber-physical system and the planning of the effective decision-making.

A system and method for analysis of complex systems which includes determining model parameters based on time series data, further including profiling a plurality of types of data properties to discover complex data properties and dependencies; classifying the data dependencies into predetermined categories for analysis; and generating a plurality of models based on the discovered properties and dependencies. The system and method may analyze, using a processor, the generated models based on a fitness score determined for each model to generate a status report for each model; integrate the status reports for each model to determine an anomaly score for the generated models; and generate an alarm when the anomaly score exceeds a predefined threshold.

A system and method for testing robustness of a simulation model of a cyber-physical system includes computing a set of symbolic simulation traces for a simulation model for a continuous time system stored in memory, based on a discrete time simulation of given test inputs stored in memory. Simulation errors are accounted for due to at least one of numerical instabilities and numeric computations. The set of symbolic simulation traces are validated with respect to validation properties in the simulation model. Portions of the simulation model description are identified that are sources of the simulation errors.

The present invention provides a vehicle AGV system based on cyber-physical system and a traffic control method. The system comprises an AGV vehicle, an intersection controller, a master controller and a workshop positioning system. A vehicle following method based on a safe distance, a vehicle overtaking method of an emergency task and a collision prediction and processing method are employed bya corresponding traffic control method. A processor is added into the design of a vehicle, the calculation ability of the vehicle is improved, the vehicle can independently decide an operating state according to sensed information, the real-time information sharing of the vehicle is realized through a communicator module, and the efficiency of information collection and utilization is improved. Through the traffic control method, the transport efficiency of the vehicle can be improved, the transport time is shortened, the collision of vehicles is avoided through an adjustment in advance without stopping, and the time and energy are saved while the safety is improved.

A cyber-physical vehicle management system may allow for highly reliable and authentic identity management of cyber-physical systems, unforgeable legal interception devices, and robust relay nodes. A cyber-physical vehicle management system may also provide for human and object bi-directional authenticity verification. In some cases, a cyber physical management system may enable a cyber physical vehicle (CPV) detection and intervention system which may be capable or detection, identification, capture, seizure, and immobilization of CPVs. In some embodiments the CPV detection and intervention system includes a geocoding laser subsystem for determining a location of a CPV.

This invention proposes novel systems, methods and apparatus that utilize smart devices (e.g., smartphones) capable of reading/processing biometric inputs, and wireless communications over secure, short-range wireless channels (e.g., near field communications (NFC)) to securely access websites and cyber-physical system (CPS) entities such as vehicles, rooms and control knobs as well as sensors and smart meters. A user accesses a website on a display terminal or CPS entity by using her smart device to send her biometric credentials to request access for a service, and communicates with either the said terminal or the said CPS entity which is also capable of short-range wireless communications, using secure and short-range wireless channels to ensure the authenticity of the user when using the service. This system also protects the stored credentials of the user against loss or theft of the smart device since the credentials are encrypted by the user's biometrics, and the stored credentials on the smart device can only be accessed by a legitimate user using her biometrics.

An approach and tool integrate cyber-physical systems design based on the function-behavior-state (FBS) methodology where multi-domain simulation models capturing both the behavioral and structural aspects of a system are automatically generated from its functional description. The approach focuses on simulation-enabled FBS models using automatic and context-sensitive mappings of functional basis elementary functions to simulation components described in physical modeling languages. Potentially beneficial process loops are recognized and inserted in the functional model.

A data source may provide a plurality of time-series measurements that represent normal operation of a cyber-physical system (e.g., in substantially real-time during online operation of the cyber-physical system). A stateful, nonlinear embedding computer may receive the plurality of time-series measurements and execute stateful, nonlinear embedding to project the plurality of time-series measurements to a lower-dimensional latent variable space. In this way, redundant and irrelevant information may be reduced, and temporal and spatial dependence among the measurements may be captured. The output of the stateful, nonlinear embedding may be utilized to automatically identify underlying system characteristics of the cyber-physical system. In some embodiments, a stateful generative adversarial network may be used to achieve stateful embedding.

The invention discloses a method for evaluating a vulnerability node of an electric cyber-physical system based on an undetectable information attack pre-warning technology. A partial model of the electric cyber-physical system is generated according to a physical topological graph of an electric power system in the electric cyber-physical system, pre-warning of an undetectable information attack under a general information attack and topology condition is analyzed and the damage of the attack is evaluated, and the potential risk of the ECPS is perceived in advance to obtain a more accurate analysis result, so that a grid company can evaluate the running state of the ECPS from a global perspective and the protection for a vulnerability link is enhanced timely to protect the ECPS to run safely and stably. Pre-warning of a multi-node information attack is realized based on analysis of a single-node information attack. In addition, the information attack in the real system often has continuity, the method adds prediction of a continuity information attack on the basis of analysis of an instantaneous information attack, and the overall vulnerability of nodes and the ECPS is evaluated. A technical framework of the invention is more comprehensive.

A semiconductor fabrication facility (fab) configuration module is defined to virtually model physical systems and attributes of a fab. A data acquisition module is defined to interface with the physical systems of the fab and gather operational data from the physical systems. A visualizer module is defined to collect and aggregate the operational data gathered from the physical systems. The visualizer module is further defined to process the operational data into a format suitable for visual rendering. The processed operational data is displayed within a visual context of the fab in a graphical user interface controlled by the visualizer module. An analyzer module is defined to analyze data collected by the visualizer module and to resolve queries regarding fab performance. An optimizer module is defined to control systems within the fab in response to data collected by the visualizer module, data generated by the analyzer module, or a combination thereof.

A cyber physical system including at least one monitoring and safety device for monitoring various parameters of a machine with regard to the maintenance of setpoint values and for generating an error signal in the event of an error and a hard-wired interface to the Internet and a transmission and/or reception unit for transmitting and/or receiving data over the Internet, wherein the monitoring or safety device is connected to the transmission and/or reception unit for transmitting the error signal over the Internet. The hard-wired interface is connected to a controllable switch for physical disconnection and enabling of the connection between the cyber physical system and the Internet, and the cyber physical system has at least one control unit connected to the monitoring or control device for triggering the controllable switch for brief enabling of the connection between the cyber physical system and the Internet.

The invention discloses an electric power cyber-physical system real-time emulation platform comprising an electric power physical system real-time emulator, an information system emulator, and a control center emulator. The electric power physical system real-time emulator is connected and communicated with the information system emulator, and the information system emulator is connected and communicated with the control center emulator. By adopting the emulation platform and the emulation method, the control center emulator is used for the real-time data transmission between the electric power physical system real-time emulator and the information system real-time emulator, and the high precision real-time emulation of the electric power cyber-physical system can be realized, and the conventional emulation platform framework and the emulation method are lack of the high precision real-time emulation capability. By adopting the platform and the method provided by the invention, the influence of the information communication system on the electric power system can be analyzed accurately, and the validity of the intelligent power grid wide area control strategy can be verified.

The invention discloses a grid CPS (cyber-physical system) interactive modeling method. The method comprises steps: 1) according to structures of a cyber system and a physical system in a power system, a grid CPS cyber-physical coupling architecture is built, wherein the CPS cyber-physical coupling architecture describes the interactive relation between a cyber flow and an energy flow of the power system, cyber equipment sends control signals to the physical system via the cyber system, and the physical system sends a remote measurement amount and a remote communication amount to the cyber system; 2) based on the CPS cyber-physical coupling architecture, a basic element model for a CPS sub module is built; and 3) based on the CPS cyber-physical coupling architecture, the basic element model for the CPS sub module and electrical equipment in the power system are in electrical connection and logic connection, and an overall grid CPS is formed. A new framework and a technical basis are provided for optimization control and reliability analysis on the power system.

In order to engineer software architectures of complex cyber-physical systems of different technical domains such that both time and effort efficient and truly interactive engineering of software architectures of complex cyber-physical systems is enabled, it is proposed to provide an automatic enforcement of multi-level Constraints across architectural Views. This provides, (i) with regard to architectural aspects of such a complex cyber-physical system being captured in Views including various Entities being related to each other and entities being related across various Views and (ii) that these multi-view Constraints particularly implying that the Constraints placed on the Entities in one View may affect the validity of the relations of the Entities in another View, an error-free engineering, (e.g., without violating at least one Constraint), together with a rapid, in particular visual, feedback of Constraints being invalidated and Entities involved in the Constraints.

The invention discloses a CPS (Cyber Physical Systems) adaptability verification method based on Hybrid UML (Unified Modeling Language) and theorem proving, which is mainly used for solving the problem that the formal verification method is too high in theoretical property to be popularized. The method comprises the following steps of: firstly, modeling the CPS through a Hybrid UML view; transforming a Hybrid UML specification into an input-QHP (Quantitative Hybrid Program) of a theorem prover KeYmaera; in combination with the generated QHP, specifying the to-be-verified attribute in a manner of Qdl (Quantitative differential dynamic logic) formula, and then, executing automatic verification by the KeYmaera; before executing model transformation, needing to define meta models of the Hybrid UML and the QHP, while executing model transformation, firstly, eliminating the hierarchy of a top layer Mode, wherein the model obtained after transformation is named as Flat Mode, then, determining a transformation rule according to the consistency of macro semantics and meta semantics between the Flat Mode and the QHP, describing the transformation rule with the ATL (ATLAS Transformation Language), realizing the transformation from a Flat Mode model to a QHP medium model, and realizing the transformation from the QHP medium model to the QHP codes through a customized template language.

The invention relates to a real-time communication optimizing method and equipment orienting to a cyber-physical system. The method comprises the following steps of: reading a beacon frame and entering a CAP (Contention Access Period); judging whether the CAP of a superframe is finished or not; judging whether a node equipment cache region has data ready to transmit or not; setting frame priority; when no data needs to be transmitted in the cache region, turning to the idle mode; after the CAP is finished, entering a CFP (Contention Free Period) of the superframe; switching the node equipment into GTS (Guarantee Time Slot) allocation with collision avoidance; judging whether data transmission is successful or not; leading a node to enter a dormancy period and wait for the next superframe; and transmitting alarm information to a coordinator by the node and informing a message of transmission failure. The equipment comprises a frame priority setting module and a collision avoidance allocating module. The invention improves the expression performance of a GTS mechanism again by solving the problem of collision, finally improves the utilization ratio of GTS and meets the application with higher real-time requirement.

The present invention provides a cyber physical system wireless communication network equal cost multi-path dynamic control method. A multi-constraint optimization model is established in allusion to a CPS wireless communication network, and is combined with the structural characteristics of the CPS wireless communication network on the basis of a conventional ECMP model, so that a dynamic configuration ECMP model is provided. The model takes a condition that the flow flowing into a wireless communication node is equal to the flow flowing out of the node as a business conservation constrain, takes a wireless channel bandwidth upper limit as a link capacity constraint, and takes the maximum link utilization rate minimization as a target function to establish a CPS wireless communication network multi-constraint optimization model, so that a dynamic configuration ECMP optimal load balancing algorithm DECMP is provided on the basis of the model, thereby realizing the network load balancing, and obtaining a CPS wireless communication network optimal network transmission performance.

The invention provides a CPS physical solid formalized modeling method based on blend space-time Petri net model. First, a rational system structure map is provided after Cyber-physical System (CPS) features are analyzed; a new event presentation is designed for space-time features of the CPS event message and physical solid dynamic changes; space-time factors and continuous variables are introduced on the basis of the Petri net to construct a blend space-time Petri net model; physical solid logic and time hierarchal behaviors can be described and state changes due to changes of physical solid position changes can be described. The CPS physical solid formalized modeling method based on a blend space-time Petri net model can be applied to real-time event CPS model design, so a new CPS physical solid modeling method can be achieved. Consistency between real-time property and space-time can be achieved for the CPS by the use of the method; continuous variables are introduced in consideration of physical environment dynamic property, so the method is suitable for all environments; and foundation is laid for the development of CPS.