PESSOA

Pessoa 2.0: a controller synthesis tool for cyber-physical systems. We introduce Pessoa 2.0, a tool that automatically synthesizes controllers for cyber-physical systems based on correct-by-design methodology. Pessoa 2.0 accepts a cyber-physical system represented by a set of smooth differential equations and automata and a specification in a fragment of Linear Temporal Logic that is expressive enough to describe interesting properties but simple enough to avoid Safra’s construction. It outputs, if possible, a controller for the system that enforces the specification up to an abstraction parameter. We report on examples illustrating the expressiveness of the fragment and the controllers synthesized by the tool.


References in zbMATH (referenced in 22 articles )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Apaza-Perez, W. A.; Combastel, C.; Walukiewicz, I.; Muscholl, A.; Zolghadri, A.: Abstraction-based control synthesis using partial information (2022)
  2. Abate, Alessandro; Bessa, Iury; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth: Automated formal synthesis of provably safe digital controllers for continuous plants (2020)
  3. Apaza-Perez, W. Alejandro; Combastel, Christophe; Zolghadri, Ali: On distributed symbolic control of interconnected systems under persistency specifications (2020)
  4. Fan, Chuchu; Miller, Kristina; Mitra, Sayan: Fast and guaranteed safe controller synthesis for nonlinear vehicle models (2020)
  5. Schürmann, Bastian; Vignali, Riccardo; Prandini, Maria; Althoff, Matthias: Set-based control for disturbed piecewise affine systems with state and actuation constraints (2020)
  6. Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico; Mari, Federico; Leeners, Brigitte: Optimal personalised treatment computation through in silico clinical trials on patient digital twins (2020)
  7. Hashimoto, Kazumune; Dimarogonas, Dimos V.: Resource-aware networked control systems under temporal logic specifications (2019)
  8. Khaled, Mahmoud; Zamani, Majid: \textsfpFaces: an acceleration ecosystem for symbolic control (2019)
  9. Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat: TIRA: toolbox for interval reachability analysis (2019)
  10. Le Coënt, Adrien; Alexandre dit Sandretto, Julien; Chapoutot, Alexandre; Fribourg, Laurent: An improved algorithm for the control synthesis of nonlinear sampled switched systems (2018)
  11. Li, Yinan; Liu, Jun: ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems (2018)
  12. Ames, Aaron D.; Tabuada, Paulo; Jones, Austin; Ma, Wen-Loong; Rungger, Matthias; Schürmann, Bastian; Kolathaya, Shishir; Grizzle, Jessy W.: First steps toward formal controller synthesis for bipedal robots with experimental implementation (2017)
  13. Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.: Symbolic control design for monotone systems with directed specifications (2017)
  14. Schmuck, Anne-Kathrin; Majumdar, Rupak; Leva, Adrian: Dynamic hierarchical reactive controller synthesis (2017)
  15. Rungger, Matthias; Zamani, Majid: SCOTS: a tool for the synthesis of symbolic controllers (2016)
  16. Le Coënt, Adrien; De Vuyst, Florian; Rey, Christian; Chamoin, Ludovic; Fribourg, Laurent: Guaranteed control of switched control systems using model order reduction and state-space bisection (2015)
  17. Girard, Antoine: Low-complexity quantized switching controllers using approximate bisimulation (2013)
  18. Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak: Backstepping controller synthesis and characterizations of incremental stability (2013)
  19. Chatterjee, Krishnendu; Majumdar, Rupak: Minimum attention controller synthesis for omega-regular objectives (2011)
  20. Girard, Antoine; Pappas, George J.: Approximate bisimulation: a bridge between computer science and control theory (2011)

1 2 next