Patents by Inventor Manoranjan SATPATHY

Manoranjan SATPATHY has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20140195209
    Abstract: A method for verifying reachability of a transition path between states with respect to Simulink/Stateflow models; (a) a concrete simulation model is generated and an abstract model is generated; (c) an abstract path is generated that is a sequence of transition steps from a start state to a target state; (d) a validity of the abstract path is checked utilizing the concrete simulation model; (e) a result is output to a user that identifies the abstract path as a reachable result; (f) partitioning a respective state of the transition step that was invalid in the abstract path; (g) recomputing a next abstract model based on partitioned start state; (h) generating an next abstract path; (i) determining whether the next abstract path is valid; (j) outputting a result to the user that identifies whether the recomputed abstract path is a valid result; otherwise proceeding to step (f).
    Type: Application
    Filed: January 9, 2013
    Publication date: July 10, 2014
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC
    Inventors: Manoranjan Satpathy, Srihari Sukumaran, Ambar A. Gadkari
  • Publication number: 20140195208
    Abstract: A method for verifying reachability of a transition between states in a transition system using simulation modeling. Generating a concrete simulation model. Generating an abstract model having an abstract path that is a sequence of transition steps between a source state and a target state. Validity of the abstract path is checked. Identifying whether the abstract path is invalid in the concrete model. If invalid, then discarding the abstract path and generating a new abstract path. Re-checking a validity of each new abstract path. If abstract path is valid, then determining whether the abstract path is reachable from an initial condition. If reachable, then outputting the reachable transition to the user; otherwise, partitioning the source state into two additional state abstractions. Recomputing a refined abstract model retaining all transition paths except transitions that are determinative as invalid. Rechecking validity of an abstract path associated with the refined abstract model.
    Type: Application
    Filed: January 9, 2013
    Publication date: July 10, 2014
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC
    Inventors: Srihari Sukumaran, Manoranjan Satpathy
  • Publication number: 20120256769
    Abstract: A system for real-time detection of an emergency situation occurring in a vehicle includes, but is not limited to, a first sensor that is configured to detect an occupant-related condition and to generate a first signal that includes information relating to the occupant-related condition. The system further includes a transmitter that is configured for wireless transmissions. The system further includes a processor that is communicatively coupled to the first sensor and operatively coupled to the transmitter. The processor is configured to obtain the first signal from the first sensor and to determine when an emergency situation is occurring based, at least in part, on the information included in the first signal. The processor further configured to instruct the transmitter to transmit a distress signal without any involvement by an occupant of the vehicle when the processor determines that an emergency situation is occurring.
    Type: Application
    Filed: April 7, 2011
    Publication date: October 11, 2012
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC
    Inventor: Manoranjan SATPATHY