In this article we provide a solution to the mixed H 2 =H 1 problem with reduced order controllers for time-varying systems in terms of the solvability of diierential linear matrix inequalities and rank conditions, including a detailed discussion of how to construct a controller. Immediate specializations lead to a solution of the full order problem and the mixed H 2 =H 1 problem for linear sys...

Historiography went throughout massive changes in 20th century, especially after the Second World War. Old political history was replaced, or at least challenged, by social and cultural histories, while historiography became increasingly open toward other social sciences and humanities. Historians started to be aware of other scholars� theorizing on many important questions, and the historians ...

In this paper, a nonlinear model of the underactuated six degrees of freedom (6 DOF) quadrotor helicopter was derived based on the Newton-Euler formalism. A new nonlinear robust control strategy was proposed to solve the stabilizing and path following problems in presence of external disturbances and parametric uncertainties. The proposed control structure consist of a sliding mode control base...

An extension of an abstract argumentation framework is introduced that provides a direct representation of global conflicts between sets of arguments. The extension, called collective argumentation, turns out to be suitable for representing semantics of disjunctive logic programs. Collective argumentation theories are shown to possess a four-valued semantics, and are closely related to multiple...

Scott discovered his domain-theoretic models of the λ-calculus, isomorphic to their function space, in 1969. A natural completeness problem then arises: whether any two terms equal in all Scott models are convertible. There is also an analogous consistency problem: whether every equation between two terms, consistent with the λ-calculus, has a Scott model. We consider such questions for wider s...

We distinguish between two versions of descriptivism. What we label “explanatory descriptivism” is a program for explaining how words get meaning and reference. Meaning descriptivism, on the other hand, is the view that many syntactically simple terms are synonymous with descriptions. It is a claim about what the meaning of such terms is, not about how the facts determine what the meaning is. E...