The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 12, 2014
Filed:
May. 20, 2011
Applicants:
Sanjai Narain, Madison, NJ (US);
Gary Levin, Bedminister, NJ (US);
Inventors:
Sanjai Narain, Madison, NJ (US);
Gary Levin, Bedminister, NJ (US);
Assignee:
TT Government Solutions, Inc., Basking Ridge, NJ (US);
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 17/11 (2006.01); G06Q 10/04 (2012.01); G06Q 10/06 (2012.01); H04L 12/24 (2006.01);
U.S. Cl.
CPC ...
G06Q 10/04 (2013.01); G06Q 10/0631 (2013.01); G06F 17/11 (2013.01); H04L 41/50 (2013.01); H04L 41/14 (2013.01); H04L 41/145 (2013.01);
Abstract
A method for solving the reconfiguration planning problem transforms the requirement that an invariant is always preserved into a constraint on the times at which the configuration parameters change. The method then solves this constraint to obtain the required reconfiguration plan. When this constraint is strengthened with a synthesis constraint, it is ensured that any final configuration that is computed is also reachable. An extension of the method allows parameters to take on multiple intermediate values.