This paper addresses the problem of designing stabilizing controllers that minimize the 7-l ~ norm of a certain closed-loop transfer function while maintaining the C1 norm of a different transfer function below a prespecified level. This problem arises in the context of rejecting both stochastic as well as bounded persistent disturbances. Alternatively, in… (More)
In this chapter, we examine the issue of digital formats for document encoding, archiving and publishing, through the specific example of "born-digital" scholarly journal articles. This small area of electronic publishing represents a microcosm of the state of the art, and provides a good basis for this discussion. We will begin by looking at the… (More)
The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.