this paper presents a new bridge management system (j-bms). it is integrated with a concrete bridge rating expert system that can be used to evaluate the serviceability of existing concrete bridges. the proposed j-bms not only evaluates the performance of bridges, but also offers a rehabilitation strategy based on a combination of maintenance cost minimization and quality maximization. in this ...

Designing supervisory controllers for high-tech systems is a laborious and error-prone process. Model-driven software engineering methods can help in increasing the quality productivity by automation of various steps design Supervisory control synthesis (SCS) such method. SCS formal method that be used to synthesize supervisor system from uncontrolled plant model requirements model. Subsequentl...