Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
Luca BerardiElena De SantisMaria Domenica Di BenedettoPublished in: HSCC (2000)
Keyphrases
- mechanical systems
- safety critical
- normal operation
- artificial intelligence
- distributed systems
- intelligent systems
- building blocks
- learning systems
- safety analysis
- autonomous systems
- database systems
- information systems
- control system
- closed loop
- robotic systems
- control strategies
- expert systems
- high level
- operating environment
- case study
- human machine interface