Nonlinear modes are a well investigated concept in dynamical systems theory, extending the celebrated modal analysis of linear mechanical to nonlinear ones. This letter moves first step direction combining control theory and towards implementation hyper-efficient oscillatory behaviors with non-Euclidean metric. Rather than forcing prescribed evolution, we investigate regular that can be autonom...

Object-Oriented Software Development Fernando Náufel do Amaral and Edward Hermann Haeusler Department of Informatics PUC-RJ (Catholic University of Rio de Janeiro) – Brazil fnaufel, hermann @inf.puc-rio.br Abstract This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a lin...

Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can be reconciled to be different presentations of essentially the same lifting operation. More interestingly, this lifting operation nicely corresponds to the ...