Patents Assigned to RTSync Corp.
-
Patent number: 12265763Abstract: 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: GrantFiled: January 30, 2024Date of Patent: April 1, 2025Assignee: RTSync Corp.Inventors: Bernard Zeigler, Doohwan Kim
-
Publication number: 20250061249Abstract: 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: ApplicationFiled: January 30, 2024Publication date: February 20, 2025Applicant: RTSync Corp.Inventors: Bernard ZEIGLER, Doohwan KIM
-
Patent number: 12124778Abstract: 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: GrantFiled: July 12, 2023Date of Patent: October 22, 2024Assignee: RTSYNC CORP.Inventors: Bernard Zeigler, Doohwan Kim
-
Patent number: 11922102Abstract: 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: GrantFiled: August 18, 2023Date of Patent: March 5, 2024Assignee: RTSYNC CORP.Inventors: Bernard Zeigler, Doohwan Kim
-
System and method for clock-frequency-based design process framework for discrete event systems chip
Patent number: 11789517Abstract: 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: GrantFiled: April 24, 2023Date of Patent: October 17, 2023Assignee: RTSync Corp.Inventors: Bernard Zeigler, Doohwan Kim -
Patent number: 11789520Abstract: 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: GrantFiled: April 24, 2023Date of Patent: October 17, 2023Assignee: RTSync Corp.Inventors: Bernard Zeigler, Doohwan Kim