Amanote Research
Register
Sign In
Supervisor Synthesis Based on Abstractions of Nondeterministic Automata
doi 10.1109/wodes.2008.4605981
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2008
Authors
Rong Su
Jan H. van Schuppen
Jacobus E. Rooda
Publisher
IEEE
Related search
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
On Complementing Nondeterministic Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstractions for Nonblocking Supervisory Control of Extended Finite Automata
Reinforcement Learning of Optimal Supervisor Based on Language Measure
Transactions of the Institute of Systems, Control and Information Engineers
Visualizing Global Manifold Based on Distributed Local Data Abstractions
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Simulation of Employee Behavior Based on Cellular Automata Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recognition Stage for a Speed Supervisor Based on Road Sign Detection
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Water Abstractions
