Branching programs and binary decision diagrams: theory and applications
Branching programs and binary decision diagrams: theory and applications
Specify, Compile, Run: Hardware from PSL
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Synthesis of software programs for embedded control applications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
TuLiP: a software toolbox for receding horizon temporal logic planning
Proceedings of the 14th international conference on Hybrid systems: computation and control
Pessoa 2.0: a controller synthesis tool for cyber-physical systems
Proceedings of the 14th international conference on Hybrid systems: computation and control
A step towards verification and synthesis from simulink/stateflow models
Proceedings of the 14th international conference on Hybrid systems: computation and control
Minimum attention controller synthesis for omega-regular objectives
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
On model based synthesis of embedded control software
Proceedings of the tenth ACM international conference on Embedded software
CoSyMA: a tool for controller synthesis using multi-scale abstractions
Proceedings of the 16th international conference on Hybrid systems: computation and control
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Proceedings of the 16th international conference on Hybrid systems: computation and control
Symbolic control of stochastic switched systems via finite abstractions
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Model-based synthesis of control software from system-level formal specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
| Hi-index | 0.01 |
In this paper we present Pessoa, a tool for the synthesis of correct-by-design embedded control software Pessoa relies on recent results on approximate abstractions of control systems to reduce the synthesis of control software to the synthesis of reactive controllers for finite-state models We describe the capabilities of Pessoa and illustrate them through an example.