On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Enforcing trace properties by program transformation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof, language, and interaction
ACM Transactions on Information and System Security (TISSEC)
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Compositional Semantics of Non-Deterministic Synchronous Languages
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Argos: an automaton-based synchronous language
Computer Languages
A domain-specific language for task handlers generation, applying discrete controller synthesis
Proceedings of the 2006 ACM symposium on Applied computing
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Theoretical Computer Science
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
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
Synchronous programming of device drivers for global resource control in embedded operating systems
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
A formal approach for incremental construction with an application to autonomous robotic systems
SC'11 Proceedings of the 10th international conference on Software composition
Tools for programming, code generation, and design
Embedded Systems Design
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
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also logical constraints on their interactions, related to e.g., mechanical characteristics or access to shared resources. Managing these constraints may be separated from the application, and performed by an intermediate layer. We show how to build such property-enforcing layers, in a mixed imperative/ declarative style: 1) the constraints intrinsic to one component are modeled by an automaton; the product of these automata is a first approximation of the set of constraints that should be respected; 2) the constraints that involve several components are expressed as temporal logic properties of this product; 3) we use general controller synthesis techniques and tools in order to combine the set of communicating parallel automata with the global constraint.