Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2011-05-10
2011-05-10
Jones, Hugh (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
C703S015000, C703S016000, C703S017000
Reexamination Certificate
active
07941303
ABSTRACT:
A method for modeling a system as a finite state machine in a modeling environment is discussed. Embodiments receive a representation of a finite state machine model and provide an interface for incorporating a temporal operator into the finite state machine model. The temporal operator may be a Boolean function that includes at least one event parameter and defines a temporal logic condition. Embodiments may also receive a definition of a first temporal operator that defines a logic condition related to a number of occurrences of two or more different base events.
REFERENCES:
patent: 5966516 (1999-10-01), De Palma et al.
patent: 6195627 (2001-02-01), Bargh et al.
patent: 6675138 (2004-01-01), Hollander et al.
patent: 7433808 (2008-10-01), Raghavan et al.
Ostroff, “A Visual Toolset for the Design of Real-Time Discrete-Event Systems”, IEEE Transactions on Control Systems Technology, May 1997, vol. 5, Issue: 3, pp. 320-337.
“Stateflow User's Guide, Version 2”, The MathWorks, Inc., Jan. 1999.
Kalita et al., “Formal Verification for Analysis and Design of Reconfigurable Controllers for Manufacturing Systems”, Proceedings of the American Control Conference, Jun. 2000, pp. 3533-3539.
Kalita et al., “SF2STeP: A CAD Tool for Formal Verification of Timed Stateflow Diagrams”, IEEE International Symposium on Computer-Aided Control System Design, CACSD 2000, Sep. 2000, pp. 156-162.
Mestchian Ebrahim Mehran
Raghavan Vijaya
Canning Kevin J.
Curran John S.
Day Herng-Der
Jones Hugh
Nelson Mullins Riley & Scarborough LLP
LandOfFree
Event-based temporal logic does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Event-based temporal logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event-based temporal logic will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2648042