Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Synchronous Modeling of Avionics Applications using the SIGNAL Language
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Modular design through component abstraction
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
A domain-specific language for task handlers generation, applying discrete controller synthesis
Proceedings of the 2006 ACM symposium on Applied computing
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Discrete Event Dynamic Systems
Reactive control of adaptive embedded systems: a position paper
Proceedings of the 7th workshop on Reflective and adaptive middleware
Modular Distribution and Application to Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
A language approach to discrete control in computing
Proceedings of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
A programming language for adaptation control: case study
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
QoS and energy management coordination using discrete controller synthesis
Proceedings of the 1st Workshop on Green Computing
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
Synchronous control of reconfiguration in fractal component-based systems: a case study
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Reactive model-based control of reconfiguration in the fractal component-based model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Discrete Event Dynamic Systems
A decentralized supervisory control approach for distributed adaptive systems
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Discrete Control for the Coordination of Administration Loops
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
Synchronous programming of device drivers for global resource control in embedded operating systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Coordinating multiple administration loops using discrete control
ACM SIGOPS Operating Systems Review
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Polychronous modeling, analysis, verification and simulation for timed software architectures
Journal of Systems Architecture: the EUROMICRO Journal
Coordinating self-sizing and self-repair managers for multi-tier systems
Future Generation Computer Systems
Hi-index | 0.00 |
In this paper, we present the integrationof controller synthesis techniques in the Signal\ environmentthrough the description of a tool dedicated to the incrementalconstruction of reactive controllers. The plant is specifiedin Signal and the control synthesis is performed ona logical abstraction of this program, named polynomial dynamicalsystem (PDS) over \{-1,0,+1\}. The control of the plant is performedby restricting the controllable input values with respect tothe control objectives. These restrictions are obtained by incorporatingnew algebraic equations into the initial system. This theorysets the basis for the verification and the controller synthesistool, Signal. Moreover, we present a tool developedaround the Signal environment allowing the visualizationof the synthesized controller by an interactive simulation ofthe controlled system. In a first stage, the user specifies inSignal both the physical model and the control objectivesto be ensured. A second stage is performed by the Signalcompiler which translates the initial Signal programinto a PDS, and the control objectives in terms of polynomialrelations/operations. The controller is then synthesized usingSignal. The result is a controller coded by a polynomialand then by a Ternary Decision Diagram (TDD). Finally, in a thirdstage, the obtained controller and some simulation processesare automatically included in the initial Signal program.It is then sufficient for the user to compile the resulting Signalprogram which generates executable code ready for simulation.Different academic examples are used to illustrate the applicationof the tool.