There has been a growing interest in defining models of automata enriched with time. For
instance, timed automata were introduced as automata extended with clocks. In this paper …

We introduce a novel notion of quotient set for a pair of contracts and the operation of
quotient for assume-guarantee contracts. The quotient set and its related operation can be …

There has been a growing interest in defining models of automata enriched with time, such
as finite automata extended with clocks (timed automata). In this paper, we study …

Due to increase in the population and change in the life style there is huge increase in
electricity demand and shortage in transmission and distribution network, making new …

An important step in the design of a complex system is its decomposition into a number of
interacting components, of which some are given (known) and some need to be synthesized …

Seeking the largest solution to an expression of the form A x<= B is a common task in
several domains of engineering and computer science. This largest solution is commonly …

Homing preset and adaptive experiments with Finite State Machines (FSMs) are widely used
when a non-initialized discrete event system is given for testing and thus, has to be set to the …

We consider the problems of learning and conformance testing of components in a modular
system. We assume that each component can be modelled as a Finite State Machine (FSM) …

In this report we describe how to solve parallel language equations over regular
languages/automata and finite state machines (FSMs), using the software package BALM-II …

Конечные автоматы широко используются для анализа и синтеза дискретных систем.
При описании систем, поведение которых зависит от времени, конечный автомат …