Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.
Paul C. AttieDavid H. LorenzAleksandra PortnovaHana ChocklerPublished in: CBSE (2006)
Keyphrases
- control system
- artificial intelligence
- intelligent control
- computer aided
- model checking
- design decisions
- pid controller
- design process
- fuzzy logic
- state space
- mobile robot
- database
- software architecture
- user interface
- fuzzy control
- expert systems
- learning environment
- design methodology
- optimal design
- information systems
- controller design
- safety analysis