With the growth of the Internet-of-Things and online Web services, more services with more
capabilities are available to us. The ability to generate new, more useful services from …

We relate behavior composition, a synthesis task studied in AI, to supervisory control theory
from the discrete event systems field. In particular, we show that realizing (ie, implementing) …

Agent supervision is a form of control/customization where a supervisor restricts the
behavior of an agent to enforce certain requirements, while leaving the agent as much …

We show how reactive synthesis and automated planning can be leveraged effectively to
find nonmaximal solutions to deterministic supervisory control problems of discrete event …

Scientific management is the first step of reducing energy consumption in buildings in China.
Life style of the people, scientific management of energy is very important. Building energy …

A key problem in the manufacture of highlycustomized products is the synthesis of
controllers able to manufacture any instance of a given product type on a given production …

Agent supervision is a form of control/customization where a supervisor restricts the
behavior of an agent to enforce certain requirements, while leaving the agent as much …

Agent supervision is a form of control/customization where a supervisor restricts the
behavior of an agent to enforce certain requirements, while leaving the agent as much …

Agent supervision is a form of control/customization where a supervisor restricts the
behavior of an agent to enforce certain requirements, while leaving the agent as much …

We devise a succinct knowledge representation framework based on a nondeterministic
variant of a well-known Artificial Intelligence formalism, called PDDL, for representing …