Modeling and Verification of a Modular Level-Crossing Controller Design

Artikel in diesem Heft

1. Inhalt
2. IMPRESSUM
3. Editorial: Message from the at-Editor to ECC ’99 Attendees
4. Control of a Tube Crawling Robot
5. Position Control and Active Eccentricity Compensation in Rolling Mills
6. An Experimental Comparison of Nonlinear Controllers for a Neutralisation Process
7. Process Diagnosis Based on a Discrete-Event Description
8. Modeling and Verification of a Modular Level-Crossing Controller Design
9. A Framework for Control, State Estimation, Fault Detection, and Verification of Hybrid Systems
10. Dynamic Fuzzy Systems for Qualitative Process Modeling: Principles of a New Systems Theory
11. A New Class of Flexible Fluidic Actuators and their Applications in Medical Engineering