Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
HCSM: a framework for behavior and scenario control in virtual environments
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on graphics, animation, and visualization for simulation environments
Using Finite State Automata to Produce Self-Optimization and Self-Control
IEEE Transactions on Parallel and Distributed Systems
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The maximum set of permissible behaviors for FSM networks
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
Nivat's processes and their synchronization
Theoretical Computer Science
Multiagent Mission Specification and Execution
Autonomous Robots
Why Event Observation: Observability Revisited
Discrete Event Dynamic Systems
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Dynamics of Transmission Provision in a Competitive PowerIndustry
Discrete Event Dynamic Systems
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Normal processes for modeling the desired behavior of distributed autonomous discrete event systems
Journal of Automata, Languages and Combinatorics
Automating Modular Verification
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Control of Synchronous Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Symbolic Algorithms for Infinite-State Games
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Control of Synchronous Systems, Part II
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Methodology for the Construction of Scheduled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Control of Interval Temporal Systems
Hybrid Systems V
As Soon as Possible: Time Optimal Control for Timed Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Hierarchies of Sensing and Control in Visually Guided Agents
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Analyzing Controllability of a Hardware Circuit for its Reuse
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
A Colored Petri Net-Based Formal Method for the Design of Control Systems
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
A study of current logic design practices in the automotive manufacturing industry
International Journal of Human-Computer Studies
Undecidable problems of decentralized observation and control on regular languages
Information Processing Letters
Supervisory Control of Software Systems
IEEE Transactions on Computers
Multiagent Planning as Control Synthesis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards a Control-Theoretical Approach to Software Fault-Tolerance
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Aspect-oriented design of sensor networks
Journal of Parallel and Distributed Computing
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Reconciling scenario-centered controller design with state-based system models
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Games in system design and verification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
Optimal supervisory control under partial observation
International Journal of Systems Science
The complexity of quantitative concurrent parity games
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
A control synthesis approach for time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Multi-model approach to discrete events systems: application to operating mode management
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Verification and implementation of delay-insensitive processes in restrictive environments
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Using autonomous modular material handling equipment for manufacturing flexibility
WSC '04 Proceedings of the 36th conference on Winter simulation
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
A polynomial dynamic system approach to software design for attractivity requirement
Information Sciences: an International Journal
Discrete control for dependable IT automation
HOTDEP'06 Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2
Discrete control for safe execution of IT automation workflows
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Decision making in fuzzy discrete event systems
Information Sciences: an International Journal
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Model-driven migration of supervisory machine control architectures
Journal of Systems and Software
Template design and automatic generation of controllers for industrial robots
Proceedings of the 2008 ACM symposium on Applied computing
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
Discrete Event Dynamic Systems
The relationship of controllability between classical and fuzzy discrete-event systems
Information Sciences: an International Journal
Intelligent supervisory control of continuous processes exposed to faults: a practical approach
MATH'08 Proceedings of the American Conference on Applied Mathematics
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Journal of Systems and Software
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Design framework for intelligent supervision of industrial processes
WSEAS TRANSACTIONS on SYSTEMS
Implementation of supervisory control using extended finite-state machines
International Journal of Systems Science
State estimation and detectability of probabilistic discrete event systems
Automatica (Journal of IFAC)
Reactive mode handling of flexible manufacturing systems
Mathematics and Computers in Simulation
The theory of deadlock avoidance via discrete control
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fault Diagnosis with Static and Dynamic Observers
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Supervisory control of discrete event systems with state-dependent controllability
International Journal of Systems Science
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Computing Weakest Strategies for Safety Games of Imperfect Information
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Inferring Synchronization under Limited Observability
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Evolved finite state controller for hybrid system
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Modular Distribution and Application to Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Optimal Control of Production Processes with Variable Execution Times
Discrete Event Dynamic Systems
Priority Scheduling of Distributed Systems Based on Model Checking
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Qualitative Concurrent Stochastic Games with Imperfect Information
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Supervisory control of the structured dynamic discrete-event systems
Automation and Remote Control
Finitary winning in ω-regular games
ACM Transactions on Computational Logic (TOCL)
Towards synthesizing optimal coordination modules for distributed agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Pervasive and Mobile Computing
On-line Coordination: Event Interaction and State Communication between Cooperative Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Discrete Event Dynamic Systems
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Information Sciences: an International Journal
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
IEEE Transactions on Fuzzy Systems
DES Control Synthesis and Cooperation of Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Verification and synthesis for secrecy in discrete-event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Modeling and synthesis of DES supervisory control for coordinating ULTC and SVC
ACC'09 Proceedings of the 2009 conference on American Control Conference
Petri nets control design for hybrid electrical energy systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
A dynamic programming approach to multi-level supervision
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences: an International Journal
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Multiprocessor scheduling in supervisory control of discrete-event systems framework
Control and Intelligent Systems
A control synthesis approach for time discrete event systems
Mathematics and Computers in Simulation
Multi-Model approach to discrete events systems: Application to operating mode management
Mathematics and Computers in Simulation
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Journal of Systems and Software
Translating concurrent action oriented specifications to synchronous guarded actions
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Modeling and simulation of an experimental manufacturing cell
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Optimal strategy synthesis in stochastic Müller games
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Reliable decentralized supervisory control of fuzzy discrete event systems
Fuzzy Sets and Systems
A supervisory control approach for safe behavior of service robot case study: FRIEND
Proceedings of the 2010 ACM Symposium on Applied Computing
Stochastic Müller games are PSPACE-complete
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Choice-point nets: a discrete-event modelling technique for analyzing health care protocols
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Limited lookahead supervisory control of probabilistic discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Supervisor control for fuzzy discrete event system with blocking
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 6
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
Automatica (Journal of IFAC)
Towards better support for the evolution of safety requirements via the model monitoring approach
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
State-feedback control of fuzzy discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on game theory
Supervisor direct synthesis method for a structured discrete dynamical system
Automation and Remote Control
Information Tracking in Games on Graphs
Journal of Logic, Language and Information
Knowledge based scheduling of distributed systems
Time for verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Cooperation of agents in manufacturing systems
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hybrid control structure for multi-robot formation
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part II
State space approach to security quantification
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
QoS and energy management coordination using discrete controller synthesis
Proceedings of the 1st Workshop on Green Computing
Methods for knowledge based controlling of distributed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
The complexity of codiagnosability for discrete event and timed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Probabilistic contracts for component-based design
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
The complexity of partial-observation parity games
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Robotics and Computer-Integrated Manufacturing
Opacity of discrete event systems and its applications
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
ROCOM'11/MUSP'11 Proceedings of the 11th WSEAS international conference on robotics, control and manufacturing technology, and 11th WSEAS international conference on Multimedia systems & signal processing
Qualitative concurrent parity games
ACM Transactions on Computational Logic (TOCL)
Conceptual Design of Discrete-Event Systems Using Templates
Discrete Event Dynamic Systems
An explicit window adaptation algorithm over TCP networks using supervisory control
Journal of High Speed Networks
Discrete control for dependable IT automation
HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
Enforcing safety of cyberphysical systems using flatness and abstraction
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
The complexity of request-response games
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
Technical communique: String execution time for finite languages: Max is easy, min is hard
Automatica (Journal of IFAC)
Synthesis of distributed control through knowledge accumulation
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
A coalgebraic approach to supervisory control of partially observed mealy automata
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Mind the gap: Expanding communication options in decentralized discrete-event control
Automatica (Journal of IFAC)
The buck stops here: order, chance, and coordination in distributed control
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Priority scheduling of distributed systems based on model checking
Formal Methods in System Design
An O(n2) time algorithm for alternating Büchi games
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
The complexity of stochastic rabin and streett games
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
A survey of stochastic ω-regular games
Journal of Computer and System Sciences
Algorithms for omega-regular games with imperfect information
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica (Journal of IFAC)
The complexity of stochastic Müller games
Information and Computation
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Embedded Systems Design
Fault tolerant supervisory for discrete event systems based on event observer
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Strategy improvement for stochastic rabin and streett games
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
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
Finitary winning in ω-regular games
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Logic control law design for automated manufacturing systems
Engineering Applications of Artificial Intelligence
Reachability games for linear hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Synthesizing protocols for digital contract signing
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Controller synthesis by petri nets modeling
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication 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
Modeling complex systems with VeriJ
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Extension based Limited Lookahead Supervision of Discrete Event Systems
Automatica (Journal of IFAC)
Brief paper: Formulae relating controllability, observability, and co-observability
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Brief Paper: Mixed centralized/decentralized supervisory control of discrete event dynamic systems
Automatica (Journal of IFAC)
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Brief Mutually nonblocking supervisory control of discrete event systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Hybrid life-extending control of mechanical systems: experimental validation of the concept
Automatica (Journal of IFAC)
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Robust optimal control of regular languages
Automatica (Journal of IFAC)
Control-invariance of hybrid systems with forcible events
Automatica (Journal of IFAC)
Syntax-based synthesis for temporal-safety supervision
Automatica (Journal of IFAC)
Unconstrained optimal control of regular languages
Automatica (Journal of IFAC)
Field trial results of planetary rover visual motion estimation in Mars analogue terrain
Journal of Field Robotics
Robustness of structurally equivalent concurrent parity games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
State feedback control of condition/event systems
Mathematical and Computer Modelling: An International Journal
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Automatica (Journal of IFAC)
Verification of robust diagnosability for partially observed discrete event systems
Automatica (Journal of IFAC)
Partial-Observation Stochastic Games: How to Win When Belief Fails
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Discovering complex system dynamics with intelligent data retrieval tools
IScIDE'11 Proceedings of the Second Sino-foreign-interchange conference on Intelligent Science and Intelligent Data Engineering
Fault Diagnosis with Static and Dynamic Observers
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Partially-Supervised plants: embedding control requirements in plant components
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Theoretical Computer Science
Application of supervisory control theory to theme park vehicles
Discrete Event Dynamic Systems
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
Modeling for safety in a synthesis-centric systems engineering framework
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Strategy synthesis for multi-dimensional quantitative objectives
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Discrete Control for the Coordination of Administration Loops
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
A foresight support system to manage knowledge on information society evolution
SocInfo'12 Proceedings of the 4th international conference on Social Informatics
Compliance by design for artifact-centric business processes
Information Systems
Automatic behavior composition synthesis
Artificial Intelligence
Methods for the estimation of the size of lookahead tree state-space
Discrete Event Dynamic Systems
Reliable supervisory coordination of stochastic communicating processes with data
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Supervisor synthesis for controller upgrades
Proceedings of the Conference on Design, Automation and Test in Europe
Enforceable Security Policies Revisited
ACM Transactions on Information and System Security (TISSEC)
Semi-automatic controller design of Java-like models
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
Theoretical Computer Science
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences: an International Journal
Supervision localization of timed discrete-event systems
Automatica (Journal of IFAC)
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Hyperplane separation technique for multidimensional mean-payoff games
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Automatica (Journal of IFAC)
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Automatica (Journal of IFAC)
Information Sciences: an International Journal
Coordinating multiple administration loops using discrete control
ACM SIGOPS Operating Systems Review
Model-based synthesis of control software from system-level formal specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Automatica (Journal of IFAC)
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
A survey of partial-observation stochastic parity games
Formal Methods in System Design
On-line coordination: Event interaction and state communication between cooperative agents
Web Intelligence and Agent Systems
Coordinating self-sizing and self-repair managers for multi-tier systems
Future Generation Computer Systems
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.08 |