A dependable automated people mover system modeled and verified using timed automata : a case study
Automated People Movers (APM) are systems for passenger transport with fully automated operation and high frequency service. For this study we have used the system named Aeromovel installed in Porto Alegre, Brazil. Aeromovel is a non-conventional Automatic People Mover whose operation principle is b...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | conferencePaper |
| Language: | por |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/16297 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/16297 |