Jonathan W. Kimball

Learn More
—Cyber-Physical Systems (CPS) consist of distributed computation interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Finding a common semantic among these diverse components that facilitates system synthesis, verification, and monitoring is a significant challenge of a CPS(More)
Cyber-Physical Systems (CPS) consist of computational components interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Ensuring stability and correctness (both logical and temporal) of a Cyber-Physical System (CPS) as a whole is a major challenge in CPS design. Any incorrectness(More)
—In a typical microgrid, the power generation capacity is similar to the maximum total load. The low inertia of the system provides little margin for error in the power balance, both active and reactive, and requires rapid control response to load changes. In the present work, a microgrid is modeled as a Markov jump linear system (MJLS). An MJLS is a(More)
Dana and Rick, two adults with developmental disabilities enrolled in a restaurant training program, had poor prospects for long-term employment because of inappropriate social behavior. They often made no response, mumbled inaudibly, or made a negative remark when spoken to by their supervisors or other employees. Each trainee's Individual Vocational Plan(More)
  • 1