Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

32 results about "Hybrid automaton" patented technology

In automata theory, a hybrid automaton (plural: hybrid automata or hybrid automatons) is a mathematical model for precisely describing systems in which digital computational processes interact with analog physical processes. A hybrid automaton is a finite state machine with a finite set of continuous variables whose values are described by a set of ordinary differential equations. This combined specification of discrete and continuous behaviors enables dynamic systems that comprise both digital and analog components to be modeled and analyzed.

Mixed control method for direct current (DC)-direct current (DC) convertor

The invention discloses a mixed control method for a direct current (DC)-direct current (DC) convertor. The method comprises the following steps: building a mixed automaton model of the DC-DC convertor; limiting the ripple magnitude of inductor current in the DC-DC convertor so as to select a switching frequency f in the mixed control method; calculating boundary condition of a mixed control algorithm according to the expected values of input voltage, load resistance and output voltage of a main circuit of the DC-DC convertor, and judging which mode the DC-DC convertor works in, namely, an inductor current continuous mode or an inductor current discontinuous mode; outputting by a digital signal processor (DSP) the control signal indicating whether a switching tube of the main circuit is conducted or not according to the comparative result of state variable and the boundary condition, so as to drive the main circuit to work. The mixed control method simplifies a control problem to a boundary selection problem, so that the algorithm is simple, and further, the DC-DC convertor can simultaneously work in a continuous conduction mode (CCM) and a direct current mode (DCM) with a constant frequency, therefore, the DC-DC convertor has the characteristics of high dynamic response speed and high steady accuracy.
Owner:SOUTH CHINA UNIV OF TECH

CPS-oriented AADL expansion modeling language and conversion method for converting CPS-oriented AADL expansion modeling language into weighted probability hybrid automaton

The invention discloses a CPS-oriented AADL expansion modeling language and a conversion method for converting the CPS-oriented AADL expansion modeling language into a weighted probability hybrid automaton. An AADL is used for modeling an information system, probability and weight properties are added through an AADL behavior attachment function, and Modelica is used for modeling a physical system. As the AADL expansion modeling language is a semi-formalized model, the AADL expansion modeling language is converted into a formalized automaton model through conversion rules and algorithms. Aiming at the characteristics of probability events and resource consumption of an information physical fusion system, a weighted probability hybrid automaton is adopted as a formalized model, and the formalized model has probability uncertainty and weight measurement properties. Finally, mutual simulation verification is performed on the two models to ensure the mutual simulation equivalence of the two models, namely the result consistency of subsequent verification work is ensured. According to the method, the information physical fusion system with uncertainty and resource consumption can be modeled, and the model can be used for subsequent model detection and reliability verification work.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS

Comprehensive passenger transport hub group network modeling method based on dynamic graph hybrid automaton

ActiveCN110852650AGuarantee collection and distribution capacityStable supportOther databases indexingGeographical information databasesEngineeringNetwork model
The invention discloses a comprehensive passenger transport hub group network modeling method based on a dynamic graph hybrid automaton. The method comprises the following steps: dividing a hub groupnetwork; dividing city/region ranges according to administrative regions, numbering the city/region ranges, classifying hub types of each city/region, and selecting a main hub and a branch hub; describing the hub group by using the graph, and establishing a topological network of the hub group, a dynamic graph hybrid automaton model of the single passenger transport hub and a parallel combinationmodel of a dynamic graph hybrid automation machine of the hub group network. Based on a dynamic graph and a hybrid automaton theory, a network model of a comprehensive passenger transport hub group isestablished, and a state space model of a hub group network is derived by taking passenger flow volume as a state quantity in a hub; therefore, an effective means is provided for estimating and predicting the passenger flow volume in the hub, a basis is provided for improving the integrated cooperative operation efficiency of the hub group and the optimal configuration of transport capacity resources, and an effective support is provided for guaranteeing the collecting, distributing and transporting capacity of the hub.
Owner:RES INST OF HIGHWAY MINIST OF TRANSPORT

A hybrid control method for dc-dc converter

The invention discloses a mixed control method for a direct current (DC)-direct current (DC) convertor. The method comprises the following steps: building a mixed automaton model of the DC-DC convertor; limiting the ripple magnitude of inductor current in the DC-DC convertor so as to select a switching frequency f in the mixed control method; calculating boundary condition of a mixed control algorithm according to the expected values of input voltage, load resistance and output voltage of a main circuit of the DC-DC convertor, and judging which mode the DC-DC convertor works in, namely, an inductor current continuous mode or an inductor current discontinuous mode; outputting by a digital signal processor (DSP) the control signal indicating whether a switching tube of the main circuit is conducted or not according to the comparative result of state variable and the boundary condition, so as to drive the main circuit to work. The mixed control method simplifies a control problem to a boundary selection problem, so that the algorithm is simple, and further, the DC-DC convertor can simultaneously work in a continuous conduction mode (CCM) and a direct current mode (DCM) with a constant frequency, therefore, the DC-DC convertor has the characteristics of high dynamic response speed and high steady accuracy.
Owner:SOUTH CHINA UNIV OF TECH

Mode-based letter fusion system modeling and verification method for period controller

The invention discloses a mode-based letter fusion system modeling and verification method for a period controller, and the method comprises the steps: respectively constructing a discrete mode and a continuous mode on an abstract level, and a discrete control flow and a continuous control flow on a specific level through employing a letter fusion system modeling language; combining the obtained modeling models of the abstract layer and the specific layer to obtain a complete letter fusion system model, and representing the complete letter fusion system model in a graphical mode; and converting the variables, the discrete mode, the continuous mode, the discrete mode control flow and the continuous mode control flow in the obtained complete belief fusion system model into a hybrid automaton according to a translation rule, and carrying out formalized verification and property analysis. According to the method, an interface can be displayed in a graphical mode, a user can conveniently understand and establish a model, an effective bridge is also established between the model and a high-confidence formalized property verification tool, and time and cost for development of a belief fusion system model and high-confidence property verification are saved.
Owner:EAST CHINA NORMAL UNIV +1
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products