Specification of systems with parameterised events: An institution-independent approach

Construction of strict Lyapunov function for nonlinear parameterised perturbed systems

In this paper, global uniform exponential stability of perturbed dynamical systems is studied by using Lyapunov techniques. The system presents a perturbation term which is bounded by an integrable function with the assumption that the nominal system is globally uniformly exponentially stable. Some examples in dimensional two are given to illustrate the applicability of the main results.

Parameterised Pushdown Systems with Non-Atomic Writes

We consider the master/slave parameterised reachability problem for networks of pushdown systems, where communication is via a global store using only non-atomic reads and writes. We show that the control-state reachability problem is decidable. As part of the result, we provide a constructive extension of a theorem by Ehrenfeucht and Rozenberg to produce an NFA equivalent to certain kinds of C...

Parameterised boolean equation systems

Boolean equation system are a useful tool for verifying formulas from modal mu-calculus on transition systems (see [18] for an excellent treatment). We are interested in an extension of boolean equation systems with data. This allows to formulate and prove a substantially wider range of properties on much larger and even infinite state systems. In previous works [11, 15] it has been outlined ho...

Feature specification: a logic-independent approach

In this paper, we investigate the formal specification of features and feature systems in the mathematical paradigm often called “logic-independent”, and formally capture in this paradigm the underlying important notions of feature integration and feature interactions. The complexity of real systems results in the definition of formal means to manage their size. To deal with this issue, we prop...

An Institution of Hybrid Systems