Robust degradation and enhancement of robot mission behaviour in unpredictable environments
Temporal logic based approaches that automatically generate controllers have been shown to be useful for mission level planning of motion, surveillance and navigation, among others. These approaches critically rely on the validity of the environment models used for synthesis. Yet simplifying assumpt...
Guardado en:
Autores principales: | D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT) |
---|---|
Formato: | CONF |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p26_DIppolito |
Aporte de: |
Ejemplares similares
-
Robust degradation and enhancement of robot mission behaviour in unpredictable environments
por: Braberman, Víctor Adrián
Publicado: (2015) -
Runtime controller synthesis for self-adaptation: Be discrete!
por: Uchitel, S., et al. -
Runtime controller synthesis for self-adaptation: Be discrete!
por: Braberman, Víctor Adrián
Publicado: (2016) -
MORPH: A reference architecture for configuration and behaviour self-adaptation
por: Braberman, V., et al. -
Hope for the best, prepare for the worst: Multi-tier control for adaptive systems
por: D'Ippolito, N., et al.