IP Library Granted Patent US 12,436,964
Granted Patent B2
US 12,436,964 · App. 17/235,900 · Granted Oct 7, 2025

Composite event estimation through temporal logic

Inventors: Karan Manoj Samel (Pleasanton, CA); Dharmashankar Subramanian (White Plains, NY)
Assignee: International Business Machines Corporation
G06F16/2477G06F16/2423G06F16/248G06N20/00G06N5/025
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,436,964
App. No.
17/235,900
Granted
Oct 7, 2025
Kind
B2
Abstract

A computer-implemented method of discovering a composite durational event structure through temporal logic includes identifying a plurality of temporally related atomic events from temporal data trajectories of a multivariate dataset according to a definition of an atomic event predicate. At least one composite event having a durational event structure of at least some of the plurality of the temporally related atomic events is discovered by machine learning. An action is performed that is selected from a predetermined list associated with the composite event.

Claims (59)

1. A computer-implemented method of discovering a composite durational event structure through temporal logic to predict, mitigate, or prevent a failure condition of an electrical grid system, the method comprising:

for each data modality of a time series, transforming the time series data into a multivariate dataset that can be automatically queried, using one or more modality-specific preprocessors, wherein each modality-specific preprocessor applies a structured transformation based on predefined rules tailored to the respective modality;

identifying, via a trained machine learning model, a plurality of temporally related atomic events from temporal data trajectories of the multivariate dataset, according to a definition of an atomic event predicate rule that specifies temporal relationships and threshold conditions;

discovering, by the machine learning model, at least one composite event having a durational event structure of at least some of the plurality of the temporally related atomic events, wherein the durational event structure is determined based on machine learned time-dependent correlations between atomic events;

generating, by the trained machine learning model, a composite event classification by combining predicate rules that determine which of the plurality of temporally related atomic events make up the at least one composite event, wherein the predicate rules are learned and refined by the trained machine learning model based on historical event patterns;

performing a system control action of the electrical grid system selected from a predetermined list associated with the at least one composite event comprising at least one of mitigating a current failure of the electrical grid system or preventing an impending failure of the electrical grid system, based on the composite event classification and the identified atomic events that make up the composite event, wherein:

the at least one composite event comprises a failure of the electrical grid system; and

the temporally related atomic events include real-time sensor data collected from distributed components of the one or more components of the electrical grid system.

2. The computer-implemented method of claim 1 , wherein the performed action comprises notifying a designated entity from the list associated with the composite event.

3. The computer-implemented method of claim 1 , wherein the temporal data trajectories of the multivariate dataset from which the atomic events are identified by determining input trajectories comprise at least two variables measured numerically across a time interval.

4. The computer implemented method of claim 1 , wherein the atomic event predicate is determined based on a domain-specific knowledge.

5. The computer-implemented method of claim 4 , wherein the multivariate data set comprises a video dataset, and the identifying of the temporally related atomic events further comprises:

processing a raw timeseries data of the multivariate dataset; and

identifying individual atomic events having a duration of a sub-interval of a time interval of the raw time series data.

6. The computer-implemented method of claim 5 , further comprising additionally determining the atomic event predicate by processing the raw time series data of the multivariate dataset.

7. The computer-implemented method of claim 4 ,

wherein the multivariate dataset comprises raw data; and

the method further comprising learning a corresponding rule structure based on a labeling of the raw data.

8. The computer-implemented method of claim 7 , further comprising:

ingesting temporal trajectories in the raw data of the multivariate dataset; and

storing the ingested temporal trajectories as time trajectories in an automatically chosen state space construction.

9. The computer-implemented method of claim 4 , further comprising identifying the at least one composite event by constructing a timeline of temporally related atomic events, along with their temporal relation.

10. The computer-implemented method of claim 9 , further comprising:

annotating the timeline based on the atomic event predicate; and

localizing one or more sub-intervals on the timeline corresponding to the atomic events.

11. The computer-implemented method of claim 10 , further comprising learning the durational event structure of the at least one composite event using the localized sub-intervals on the timeline in a supervised learning operation.

12. The computer-implemented method of claim 10 , further comprising learning the durational event structure of the at least one composite event using the localized sub-intervals on the timeline in a reinforcement learning operation.

13. The computer-implemented method of claim 1 , further comprising:

applying the discovered durational event structure of the at least one composite event by analyzing the real-time streaming data; and

detecting an evolving progression of a particular composite event by detecting constituent atomic events and verifying the temporal relations among the atomic events.

14. A computing device configured to discover a composite durational event structure through temporal logic to predict, mitigate, or prevent a failure condition of an electrical grid system, the computing device comprising:

a processor;

a memory coupled to the processor, the memory storing instructions to cause the processor to perform acts comprising:

for each data modality of a time series, transforming the time series data into a multivariate dataset that can be automatically queried, using one or more modality-specific preprocessors, wherein each modality-specific preprocessor applies a structured transformation based on predefined rules tailored to the respective modality;

identifying, via a trained machine learning model, a plurality of temporally related atomic events from temporal data trajectories of the multivariate dataset according to a definition of an atomic event predicate rule that specifies temporal relationships and threshold conditions;

discovering, by the machine learning model, at least one composite event having a durational event structure of at least some of the plurality of the temporally related atomic events, wherein the durational event structure is determined based on machine learned time-dependent correlations between atomic events;

generating, by the trained machine learning model, a composite event classification by combining predicate rules that determine which of the plurality of temporally related atomic events make up the at least one composite event, wherein the predicate rules are learned and refined by the trained machine learning model based on historical event patterns; and

performing an action selected from a predetermined list associated with the composite event comprising at least one of mitigating a current failure of the electrical grid system or preventing a failure of the electrical grid system, wherein:

the at least one composite event comprises a failure of the electrical grid system; and

the temporally related atomic events include real-time sensor data collected from distributed components of the one or more components of the electrical grid system.

15. The computing device of claim 14 , wherein the instructions cause the processor to perform additional acts, comprising:

identifying the at least one composite event by constructing a timeline of temporally related atomic events, along with the temporal relations among the atomic events;

annotating the timeline using the atomic event predicate; and

localizing sub-intervals on the timeline corresponding to the temporally related atomic events.

16. The computing device of claim 14 ,

wherein the atomic event predicate is based on a domain-specific knowledge; and

the instructions cause the processor to perform additional acts comprising:

identifying the temporally related atomic events by processing a raw timeseries data of the multivariate dataset; and

identifying individual atomic events having a duration of a sub-interval of a time interval of the raw time series data.

17. The computing device of claim 16 , wherein the multivariate dataset includes at least one of a video data set and an audio data set, and the instructions cause the processor to perform an additional act comprising:

learning the durational event structure of the at least one composite event using the localized sub-intervals on the time line in a reinforcement learning operation.

18. The computing device of claim 16 , wherein the instructions cause the processor to perform an additional act comprising:

learning the durational event structure of the at least one composite event using the localized sub-intervals on the timeline in a supervised learning operation.

19. A non-transitory computer readable storage medium tangibly embodying a computer readable program code having computer readable instructions that, when executed, causes a computer device to carry out a method of discovering a composite durational event structure through temporal logic to predict, mitigate, or prevent a failure condition of an electrical grid system, the method comprising:

for each data modality of a time series, transforming the time series data into a multivariate dataset that can be automatically queried, using one or more modality-specific preprocessors, wherein each modality-specific preprocessor applies a structured transformation based on predefined rules tailored to the respective modality;

identifying, via a trained machine learning model, a plurality of temporally related atomic events from temporal data trajectories of the multivariate dataset, according to a definition of an atomic event predicate rule that specifies temporal relationships and threshold conditions;

discovering, by the machine learning model, at least one composite event having a durational event structure of at least some of the plurality of the temporally related atomic events, wherein the durational event structure is determined based on machine learned time-dependent correlations between atomic events;

generating, by the trained machine learning model, a composite event classification by combining predicate rules that determine which of the plurality of temporally related atomic events make up the at least one composite event, wherein the predicate rules are learned and refined by the trained machine learning model based on historical event patterns; and

performing an action selected from a predetermined list associated with the composite event comprising at least one of mitigating a current failure of an electrical grid system or preventing a failure of the electrical grid system.

Assignments (1)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Apr 20, 2021
From: SAMEL, KARAN MANOJ; SUBRAMANIAN, DHARMASHANKAR
To: INTERNATIONAL BUSINESS MACHINES CORPORATION
Reel/Frame 055980/0607 →
Continuity (1)
Related Publication 20220335045A1 · Oct 20, 2022
References Cited (56)
US 5918200A · Tsutsui et al. · 1999 [cited by applicant]
US 7805266B1 · Dasu · 2010 [cited by examiner]
US 7814021B2 · Stamos · 2010 [cited by examiner]
US 8332855B2 · Dayal · 2012 [cited by applicant]
US 8732161B2 · Jain et al. · 2014 [cited by applicant]
US 9678811B2 · Mutschler · 2017 [cited by applicant]
US 10054043B2 · Matthews et al. · 2018 [cited by applicant]
US 10902337B1 · Tang · 2021 [cited by examiner]
US 11263229B1 · Basavaiah · 2022 [cited by examiner]
US 11631014B2 · Stocker · 2023 [cited by examiner]
US 20120197856A1 · Banka · 2012 [cited by examiner]
US 20120259895A1 · Neely, III et al. · 2012 [cited by applicant]
US 20120290879A1 · Shibuya · 2012 [cited by examiner]
US 20130080117A1 · Liu · 2013 [cited by examiner]
US 20140237487A1 · Prasanna et al. · 2014 [cited by applicant]
US 20150205691A1 · Seto · 2015 [cited by examiner]
US 20160077164A1 · Toyoshima · 2016 [cited by examiner]
US 20160321257A1 · Chen · 2016 [cited by examiner]
US 20170098196A1 · Adderly et al. · 2017 [cited by applicant]
US 20170206452A1 · Herzog · 2017 [cited by examiner]
US 20170220938A1 · Sainani · 2017 [cited by examiner]
US 20180174067A1 · Spiro · 2018 [cited by examiner]
US 20180225166A1 · Maya · 2018 [cited by examiner]
US 20180314689A1 · Wang · 2018 [cited by examiner]
US 20190034497A1 · Song · 2019 [cited by examiner]
US 20190114339A1 · Mineev et al. · 2019 [cited by applicant]
US 20190236162A1 · Gross · 2019 [cited by examiner]
US 20190354836A1 · Shah · 2019 [cited by examiner]
US 20190355082A1 · McMillan · 2019 [cited by examiner]
US 20200097810A1 · Hetherington · 2020 [cited by examiner]
US 20200275875A1 · Johnstone · 2020 [cited by examiner]
US 20200285997A1 · Bhattacharyya · 2020 [cited by examiner]
US 20200342333A1 · Sigtermans · 2020 [cited by examiner]
US 20200372326A1 · Oreshkin · 2020 [cited by examiner]
US 20200389625A1 · Mukhopadhyay et al. · 2020 [cited by applicant]
US 20210063198A1 · Nister · 2021 [cited by examiner]
US 20210117384A1 · Leite Pinheiro de Paiva · 2021 [cited by examiner]
US 20210203157A1 · Visweswariah · 2021 [cited by examiner]
US 20210311131A1 · Gundel · 2021 [cited by examiner]
US 20210373063A1 · Gundel · 2021 [cited by examiner]
CN 101334845A · 2008 [cited by applicant]
CN 102790981A · 2012 [cited by examiner]
CN 112653749A · 2021 [cited by applicant]
CN 117121530A · 2023 [cited by applicant]
GB 2620538A · 2024 [cited by applicant]
JP 2016063590A · 2016 [cited by applicant]
JP 2024514625A · 2024 [cited by applicant]
KR 101042779B1 · 2011 [cited by applicant]
WO 2021045719A1 · 2021 [cited by applicant]
WO 2022222623A1 · 2022 [cited by applicant]
Mell, P. et al., “Recommendations of the National Institute of Standards and Technology”; NIST Special Publication 800-145 (2011); 7 pgs. [cited by applicant]
Girdhar, R. et al., “Cater: A Diagnostic Dataset for Compositional Actions & Temporal Reasoning”; arXiv:1910.04744v2 [cs.CV] (2020); 16 pgs. [cited by applicant]
International Search Report and Written Opinion issued May 26, 2022 in related application No. PCT/CN2022/079546; 8 pgs. [cited by applicant]
No Author. “Expanded CodeFusion Studio™”, retrieved from https://www.analog.com/en/index.html, dated Apr. 25, 2025, 3 pages. [cited by applicant]
No Author. “Inspire and engage the next generation of Scientific thinkers”, retrieved from https://scienceworld.scholastic.com, dated Apr. 25, 2025, 1 page. [cited by applicant]
Japan Patent Office, “Notice of Reasons for Refusal” Jun. 12, 2025, 10 Pages, JP Application No. 2023-562923. [cited by applicant]