Patents Assigned to RTSync Corp.
  • Patent number: 12265763
    Abstract: The external heterogeneity in the Discrete Event System Specification (DEVS) for simulators refers to the ability to incorporate different types of models, each with potentially different behaviors, into a single simulation environment. In the DEVS framework, a system is composed of multiple individual models, each representing a component of the system. These models can be either atomic (cannot be decomposed further) or coupled (composed of other models). This gives DEVS its hierarchical nature. The atomic or coupled models can in DEVS Markov models be fundamentally different from each other. For example, one model might represent a deterministic rule-based decision process, while another model might represent a probabilistic random variable generator. These models have different state variables, different event sets, and different transition functions, but they can still interact with each other within the same simulation.
    Type: Grant
    Filed: January 30, 2024
    Date of Patent: April 1, 2025
    Assignee: RTSync Corp.
    Inventors: Bernard Zeigler, Doohwan Kim
  • Publication number: 20250061249
    Abstract: The external heterogeneity in the Discrete Event System Specification (DEVS) for simulators refers to the ability to incorporate different types of models, each with potentially different behaviors, into a single simulation environment. In the DEVS framework, a system is composed of multiple individual models, each representing a component of the system. These models can be either atomic (cannot be decomposed further) or coupled (composed of other models). This gives DEVS its hierarchical nature. The atomic or coupled models can in DEVS Markov models be fundamentally different from each other. For example, one model might represent a deterministic rule-based decision process, while another model might represent a probabilistic random variable generator. These models have different state variables, different event sets, and different transition functions, but they can still interact with each other within the same simulation.
    Type: Application
    Filed: January 30, 2024
    Publication date: February 20, 2025
    Applicant: RTSync Corp.
    Inventors: Bernard ZEIGLER, Doohwan KIM
  • Patent number: 12124778
    Abstract: This invention expresses the stochastic system in a tree branching structure form. Successive nodes of the tree each contain a finite state model of the system which maintains information of the state of the system attained to that point and the branches represent decisions made that take the system to subsequent nodes. The branching tree structure affords a general method of approximating a stochastic system in a form that affords specific methods of speeding up the computations required to predict its behavior. The methods exploit the nature of the finite state representation to efficiently identify the state and output transitions associated with branching, the branching probabilities. Moreover, once a (state, branch) pair have been encountered and the resulting (state, output) pair have been computed by simulation, the next time this (state, branch) pair is encountered the resulting (state, output) is found by table lookup, a faster process than simulation.
    Type: Grant
    Filed: July 12, 2023
    Date of Patent: October 22, 2024
    Assignee: RTSYNC CORP.
    Inventors: Bernard Zeigler, Doohwan Kim
  • Patent number: 11922102
    Abstract: The external heterogeneity in the Discrete Event System Specification (DEVS) for simulators refers to the ability to incorporate different types of models, each with potentially different behaviors, into a single simulation environment. In the DEVS framework, a system is composed of multiple individual models, each representing a component of the system. These models can be either atomic (cannot be decomposed further) or coupled (composed of other models). This gives DEVS its hierarchical nature. The atomic or coupled models can in DEVS Markov models be fundamentally different from each other. For example, one model might represent a deterministic rule-based decision process, while another model might represent a probabilistic random variable generator. These models have different state variables, different event sets, and different transition functions, but they can still interact with each other within the same simulation.
    Type: Grant
    Filed: August 18, 2023
    Date of Patent: March 5, 2024
    Assignee: RTSYNC CORP.
    Inventors: Bernard Zeigler, Doohwan Kim
  • Patent number: 11789517
    Abstract: Embodiments disclose a DEVS chip is used to send only meaningful data in the system and therefore saves energy and increase processing speed. The sensor nodes communicate with an office chip temperature sensor or power management. The data acquired by the senor nodes is used for evaluating of the quantizer which has a stored quantum size and a stored temperature value or power level. If the difference between a stored temperature or a stored power level and a new temperature or a new stored power level is greater or equal to the predetermined quantum size, the new temperature or new power level is saved. The quantizer generates an event that transmits the temperature or the power level with quantum value to the sensor nodes. The small changes in the difference does not effect the system beyond the quantizer.
    Type: Grant
    Filed: April 24, 2023
    Date of Patent: October 17, 2023
    Assignee: RTSync Corp.
    Inventors: Bernard Zeigler, Doohwan Kim
  • Patent number: 11789520
    Abstract: Embodiments disclose a DEVS chip is used to send only meaningful data in the system and therefore saves energy and increase processing speed. The sensor nodes communicate with an office chip temperature sensor or power management. The data acquired by the senor nodes is used for evaluating of the quantizer which has a stored quantum size and a stored temperature value or power level. If the difference between a stored temperature or a stored power level and a new temperature or a new stored power level is greater or equal to the predetermined quantum size, the new temperature or new power level is saved. The quantizer generates an event that transmits the temperature or the power level with quantum value to the sensor nodes. The small changes in the difference does not affect the system beyond the quantizer.
    Type: Grant
    Filed: April 24, 2023
    Date of Patent: October 17, 2023
    Assignee: RTSync Corp.
    Inventors: Bernard Zeigler, Doohwan Kim