We consider sampled-data Model Predictive Control (MPC) of nonlinear continuous-time control systems. derive sufficient conditions to guarantee recursive feasibility and asymptotic stability without stabilising costs and/or constraints. Moreover, we present formulas explicitly estimate the required length prediction horizon based on concept (local) cost controllability. For linear-quadratic cas...

Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-based model was proposed for recursive protocols, where the protocol steps involve some kind of recursive computations. This model has, however, some limitations: (1) rules are assumed to have linear left-hand sides (so n...

we give a new recursive method to compute the number of cliques and cycles of a graph. this method is related, respectively to the number of disjoint cliques in the complement graph and to the sum of permanent function over all principal minors of the adjacency matrix of the graph. in particular, let $g$ be a graph and let $overline {g}$ be its complement, then given the chromatic polynomial of...