Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Viscoelasticity of oxidized starch/low methoxy pectin mixtures in the presence of glucose syrup

The structural properties of mixtures of pectin, oxidized starch and glucose syrup were investigated using small deformation dynamic oscillation. In the absence of added calcium, preparations of low methoxy pectin with glucose syrup formed viscous solutions, which remained crystal-free at subzero temperatures. Samples of oxidized starch and glucose syrup, on the other hand, exhibited solid-like behaviour because of the crystalline nature of the amylose-like helices. Mixtures of the two polysaccharides with the co-solute clearly showed phase inversion from liquid to solid-like behaviour with increasing amounts of starch in the formulation. The transformation was reflected in the textural properties of samples, which varied from thick solutions to firm gels. The viscoelasticity of the system was modified further by the introduction of high methoxy pectin. Preparations of high methoxy pectin and glucose syrup formed rubbery gels whose amorphous nature underwent a glass transition during cooling.     

Local wind patterns for modeling renewable energy systems by means of cluster analysis techniques

A method based on cluster analysis techniques is proposed in order to obtain representative local wind patterns. Modeling renewable energy systems, in an accurate way which strongly depends on wind loads, requires reliable data to analyze their response and evaluate their performance. Otherwise poor agreement with the models may be obtained. In a case study for La Paz, Baja California Sur, Mexico, four different wind patterns were obtained from a one-year data set recorded at 10-min intervals.     

The complexity of some reachability problems for a system on a finite group

We consider a system defined as the product of a finite set of periodic systems on cyclic groups. It is of interest to determine if certain subgroups and unions of subgroups of the state set are reachable from a specified initial state, and in particular to determine the computational complexity of verifying such reachability. These questions are motivated by certain problems that arise in the modelling and control of discrete event systems and certain forms of periodic scheduling. Our main result is that deciding whether or not the union of a certain set of subgroups is reachable or not is NP-complete.     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

Decision making,computer attitudes and expert systems: What is our direction?

Expert systems have been concerned with applications dealing with medical diagnosis, mineral exploration, and computer configuration, with some efforts relatively successful in achieving results at least as good as human experts. Today, much is being written about these systems and managerial decision-making activities in organizations and the positive impact that they can have in these situations. However, it appears that expert systems could become somewhat of a panacea for some organizational ailments as research, development, and marketing of them continues at a fast pace. What may be forgotten in this technological thrust is the individual decision maker and his/her unique style of decision making which could affect acceptance and use of these systems. Another important consideration is the attitude people have toward computers and computer systems, which along with decision-making styles could certainly affect expert system effectiveness and ultimate success in organizations. This paper provides a discussion of potential problems that could occur regarding individual decision making and attitudes and their relationships to these systems.     

Bottleneck Analysis of Assembly Lines with Characteristic Curves

Tuning the performance parameters of all stations of interlinked manufacturing and assembly systems to ensure the planned capacity is a major challenge. The application of system simulation for this task is little common, particularly in SMEs. A suitable tool for quickly assessing the specific influence of a standalone station on the entire system performance has been developed on the basis of the characteristic curve theory. The applied methodology and the results obtained are presented in this paper.     

Closed-loop automatic tuning of PID controller for nonlinear systems

In this paper, a robust control system is first proposed which is suitable for the control of a class of nonlinear systems. A parallel connection of a relay to a proportional integral derivative (PID) controller collectively forms the robust controller. The relay ensures robust control by providing a high feedback gain, but it also induces a control chattering phenomenon. Instead of viewing chattering as an undesirable yet inevitable feature, the chattering signals are used as natural excitation signals for identifying an equivalent PID controller using the recursive least squares algorithm. No other explicit input signal is required. Analysis is provided on the stability properties of the control scheme. Simulation results for the level control of fluid in a spherical tank using the scheme are presented.