Teorie katastrof: souvislosti a aplikace. I
The minimum value of as the quality control criterion
The representation of a wave in a development matrix of a subsystem
The -transform: A tool for analysis of control systems robustness with respect to disturbance model uncertainty.
Time-optimal control of plants whose transfer functions contain zeros
Topologies, continuity and bisimulations
Topologies, Continuity and Bisimulations
The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some...