Navegar

Colección

Datos Estadísticas

Conferencia

D'Ippolito, N.; Braberman, V.; Sykes, D.; Uchitel, S.; ACM Special Interest Group on Software Engineering (SIGSOFT) "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" (2015) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:26-33
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor

Abstract:

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 assumptions are inevitable to reduce complexity and provide mission-level guarantees; no plan can guarantee results in a model of a world in which everything can go wrong. In this paper, we show how our approach, which reduces reliance on a single model by introducing a stack of models, can endow systems with incremental guarantees based on increasingly strengthened assumptions, supporting graceful degradation when the environment does not behave as expected, and progressive enhancement when it does. © 2015 ACM.

Registro:

Documento: Conferencia
Título:Robust degradation and enhancement of robot mission behaviour in unpredictable environments
Autor:D'Ippolito, N.; Braberman, V.; Sykes, D.; Uchitel, S.; ACM Special Interest Group on Software Engineering (SIGSOFT)
Filiación:Departamento de Computación, FCEN, Universidad de Buenos Aires, Argentina
Department of Computing, Imperial College London, United Kingdom
Palabras clave:Controller synthesis; Self-adaptive systems; Adaptive systems; Control theory; Controllers; Robots; Software engineering; Controller synthesis; Environment models; Graceful degradation; Logic-based approach; Progressive enhancement; Self-adaptive system; Simplifying assumptions; Unpredictable environments; Adaptive control systems
Año:2015
Página de inicio:26
Página de fin:33
DOI: http://dx.doi.org/10.1145/2804337.2804342
Título revista:1st International Workshop on Control Theory for Software Engineering, CTSE 2015
Título revista abreviado:Int. Workshop Control Theory Softw. Eng., CTSE - Proc.
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p26_DIppolito

Referencias:

  • Bloem, R., Cimatti, A., Greimel, K., Hofferek, G., Könighofer, R., Roveri, M., Schuppan, V., Seeber, R., Ratsy: A new requirements analysis tool with synthesis (2010) Proceedings of the 22Nd International Conference on Computer Aided Verification, CAV'10, pp. 425-429. , Berlin, Heidelberg Springer-Verlag
  • Bohy, A., Bruyère, V., Filiot, E., Jin, N., Raskin, J.-F., Acacia: A tool for ltl synthesis (2012) Proceedings of the 24th International Conference on Computer Aided Verification, CAV'12, pp. 652-657. , Berlin, Heidelberg Springer-Verlag
  • Braberman, V., D'Ippolito, N., Piterman, N., Sykes, D., Uchitel, S., Controller synthesis: From modelling to enactment (2013) Proceedings of the 2013 International Conference on Software Engineering, pp. 1347-1350. , IEEE Press
  • Cizelj, I., Belta, C., Control of noisy differential-drive vehicles from time-bounded temporal logic specifications (2013) Robotics and Automation (ICRA), 2013 IEEE International Conference On, pp. 2021-2026. , May
  • De Alfaro, L., Henzinger, T.A., Interface automata (2001) ESEC / SIGSOFT FSE, pp. 109-120. , ACM
  • D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S., Synthesising non-anomalous Event-based controllers for liveness goals (2013) ACM Tran. Softw. Eng. Methodol., 22
  • D'Ippolito, N., Braberman, V.A., Kramer, J., Magee, J., Sykes, D., Uchitel, S., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems (2014) ICSE, pp. 688-699
  • D'Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Synthesis of live behaviour models for fallible domains (2011) ICSE 2011, pp. 211-220. , R. N. Taylor, H. Gall, and N. Medvidovic, editors Waikiki, Honolulu, HI, USA, May 21-28 ACM, 2011
  • D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., Mtsa: The modal transition system analyser (2008) Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE '08, pp. 475-476. , Washington, DC, USA IEEE Computer Society
  • Ehlers, R., Symbolic bounded synthesis (2010) Proceedings of the 22Nd International Conference on Computer Aided Verification, CAV'10, pp. 365-379. , Berlin, Heidelberg Springer-Verlag
  • Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G., Model evolution by run-time parameter adaptation (2009) ICSE 2009, pp. 111-121. , IEEE
  • Esfahani, N., Malek, S., Uncertainty in self-adaptive software systems (2010) Software Engineering for Self-Adaptive Systems, Volume 7475 of Lecture Notes in Computer Science, pp. 214-238. , R. de Lemos, H. Giese, H. A. Müller, and M. Shaw, editors Springer
  • Fraichard, T., Guaranteeing motion safety for robots (2012) Auton. Robots, 32 (3), pp. 173-175. , J. J. K. Jr
  • Ghezzi, C., Pezzè, M., Sama, M., Tamburrelli, G., Mining behavior models from user-intensive web applications (2014) ICSE, pp. 277-287
  • Giannakopoulou, D., Magee, J., Fluent model checking for Event-based systems (2003) Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11, pp. 257-266. , New York, NY, USA ACM
  • Hill, R.C., Cury, J.E.R., De Queiroz, M.H., Tilbury, D.M., Lafortune, S., Multi-level hierarchical interface-based supervisory control (2010) Automatica, 46 (7), pp. 1152-1164. , July
  • Jobstmann, B., Bloem, R., Optimizations for ltl synthesis (2006) Proceedings of the Formal Methods in Computer Aided Design, FMCAD '06, pp. 117-124. , Washington, DC, USA IEEE Computer Society
  • Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R., Anzu: A tool for property synthesis (2007) Proceedings of the 19th International Conference on Computer Aided Verification, CAV'07, pp. 258-262. , Berlin, Heidelberg Springer-Verlag
  • Kress-Gazit, H., Fainekos, G., Pappas, G., Temporal-logic-based reactive mission and motion planning (2009) Robotics, IEEE Transactions On, 25 (6), pp. 1370-1381. , Dec
  • Kupferman, O., Vardi, Y.M., Model checking of safety properties (2001) Form. Methods Syst. Des., 19 (3), pp. 291-314. , Oct
  • Lahijanian, M., Wasniewski, J., Andersson, S., Belta, C., Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees (2010) Robotics and Automation (ICRA), 2010 IEEE International Conference On, pp. 3227-3232. , May
  • Medina Ayala, A., Andersson, S., Belta, C., Temporal logic control in dynamic environments with probabilistic satisfaction guarantees (2011) Intelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference On, pp. 3108-3113. , Sept
  • Milner, R., (1989) Communication and Concurrency, , Prentice-Hall, Inc., Upper Saddle River, NJ, USA
  • Piterman, N., Pnueli, A., Sa'Ar, Y., Synthesis of reactive (1) designs (2006) Lecture Notes in Computer Science, 3855, pp. 364-380
  • Pnueli, A., Sa'ar, Y., Zuck, L.D., Jtlv: A framework for developing verification algorithms (2010) Proceedings of the 22Nd International Conference on Computer Aided Verification, CAV'10, pp. 171-174. , Berlin, Heidelberg Springer-Verlag
  • Raman, V., Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion (2014) Robotics and Automation (ICRA), 2014 IEEE International Conference On
  • Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K., Learning revised models for planning in adaptive systems (2013) Proceedings of ICSE
  • Ulusoy, A., Marrazzo, M., Oikonomopoulos, K., Hunter, R., Belta, C., Temporal logic control for an autonomous quadrotor in a nondeterministic environment (2013) Robotics and Automation (ICRA), 2013 IEEE International Conference On, pp. 331-336. , May
  • Wolff, E., Topcu, U., Murray, R., Efficient reactive controller synthesis for a fragment of linear temporal logic (2013) Robotics and Automation (ICRA), 2013 IEEE International Conference On, pp. 5033-5040. , May
  • Yoo, C., Fitch, R., Sukkarieh, S., Provably-correct stochastic motion planning with safety constraints (2013) Robotics and Automation (ICRA), 2013 IEEE International Conference On, pp. 981-986. , MayA4 - ACM Special Interest Group on Software Engineering (SIGSOFT)

Citas:

---------- APA ----------
D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S. & ACM Special Interest Group on Software Engineering (SIGSOFT) (2015) . Robust degradation and enhancement of robot mission behaviour in unpredictable environments. 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, 26-33.
http://dx.doi.org/10.1145/2804337.2804342
---------- CHICAGO ----------
D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT) "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" . 1st International Workshop on Control Theory for Software Engineering, CTSE 2015 (2015) : 26-33.
http://dx.doi.org/10.1145/2804337.2804342
---------- MLA ----------
D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT) "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" . 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, 2015, pp. 26-33.
http://dx.doi.org/10.1145/2804337.2804342
---------- VANCOUVER ----------
D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT) Robust degradation and enhancement of robot mission behaviour in unpredictable environments. Int. Workshop Control Theory Softw. Eng., CTSE - Proc. 2015:26-33.
http://dx.doi.org/10.1145/2804337.2804342