The input-to-state linearization of a system is usually necessary to consider whenever the input-to-output linearization of the system yields a possibly unstable cloosed-loop system. In this work a unified approach to the input-to-state linearization of nonlinear systems, both continuousand discrete-time, is suggested. The problem is studied from a uniform standpoint. In that respect methods an...

zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

A variety of syntactic phenomena seem to involve a ban on multiple adjacent identical objects. I develop a theory of phenomena of this type, positing a constraint on linearization at the syntax-phonology interface which prevents linearization of structurally adjacent syntactic objects with the same label. The claim is that linearization statements make reference only to node labels, not to part...