State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
On an Optimization Problem in Sensor Selection
Discrete Event Dynamic Systems
A Unified Approach to the Proportional Relation for Discrete-Time Single-Server Queues
Queueing Systems: Theory and Applications
Generalized surrogate problem methodology for online stochastic discrete optimization
Journal of Optimization Theory and Applications
From Perturbation Analysis to Markov Decision Processes and Reinforcement Learning
Discrete Event Dynamic Systems
Aggregation in Hierarchical Discrete-Event Systems
Discrete Event Dynamic Systems
Diagnosis of Intermittent Faults
Discrete Event Dynamic Systems
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Investigating Ontologies for Simulation Modeling
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Perturbation Analysis of Multiclass Stochastic Fluid Models
Discrete Event Dynamic Systems
Supervisory Control of Software Systems
IEEE Transactions on Computers
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
PSPACE-completeness of Modular Supervisory Control Problems
Discrete Event Dynamic Systems
Automated synthesis of Ladder automation circuits based on state-diagrams
Advances in Engineering Software
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Dynamical Mobile Terminal Location Registration in Wireless PCS Networks
IEEE Transactions on Mobile Computing
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
Interaction design for a mobile context-aware system using discrete event modelling
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Ontologies for modeling and simulation: issues and approaches
WSC '04 Proceedings of the 36th conference on Winter simulation
IEEE Transactions on Mobile Computing
Control of C2 unit using arena modeling and simulation
Proceedings of the 38th conference on Winter simulation
A diagnostic environment for automaton networks
Software—Practice & Experience
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
A modeling methodology for supply chain synthesis and disruption analysis
International Journal of Knowledge-based and Intelligent Engineering Systems - Integrated and hybrid intelligent systems in product design and development
Discrete Event Dynamic Systems
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems
Modal Specifications for the Control Theory of Discrete Event Systems
Discrete Event Dynamic Systems
Optimal Dynamic Voltage Scaling in Energy-Limited Nonpreemptive Systems with Real-Time Constraints
IEEE Transactions on Mobile Computing
Simulation of IPA gradients in hybrid network systems
Computers & Mathematics with Applications
Decision making in fuzzy discrete event systems
Information Sciences: an International Journal
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Maximum availability server selection policy for efficient and reliable session control systems
IEEE/ACM Transactions on Networking (TON)
Computer simulation and discrete-event models in the analysis of a mammography clinic patient flow
Computer Methods and Programs in Biomedicine
Globally optimal solutions of max---min systems
Journal of Global Optimization
Diagnosability of fuzzy discrete event systems
Information Sciences: an International Journal
Control of discrete-event systems with modular or distributed structure
Theoretical Computer Science
Compositionally Progressive Solutions of Synchronous FSM Equations
Discrete Event Dynamic Systems
Modeling ontology-based task knowledge in TTIPP
ICAI'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Automation and Information - Volume 8
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A roadmap for research in mobile business
International Journal of Mobile Communications
Fault-tolerant control of a distributed database system
Journal of Control Science and Engineering - Robustness Issues in Fault Diagnosis and Fault Tolerant Control
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Discrete Event Dynamic Systems
Intelligent supervisory systems for industrial process control
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
A holonic architecture for continuous processes supervision and coordination
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
Diagnosability Analysis of a Class of Hierarchical State Machines
Discrete Event Dynamic Systems
On the Minimization of Communication in Networked Systems with a Central Station
Discrete Event Dynamic Systems
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
Discrete Event Dynamic Systems
Model-driven design and implementation of discrete event control for a machine tool control system
International Journal of Computer Integrated Manufacturing
Modelling, analysis and execution of multi-robot tasks using petri nets
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
The relationship of controllability between classical and fuzzy discrete-event systems
Information Sciences: an International Journal
Reversibility analysis for Petri nets by using T-invariants
ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
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
A reversibility enforcement approach for petri nets using invariants
WSEAS TRANSACTIONS on SYSTEMS
The theory of deadlock avoidance via discrete control
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Spike-timing error backpropagation in theta neuron networks
Neural Computation
What does control theory bring to systems research?
ACM SIGOPS Operating Systems Review
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Max-min optimality of service rates in queueing systems with customer-average performance criterion
Proceedings of the 40th Conference on Winter Simulation
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Evaluating performance of a Bluetooth-based classroom tool
International Journal of Mobile Learning and Organisation
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
A Subgradient Descent Algorithm for Optimization of Initially Controllable Flow Shop Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
OPEDo: a tool for the optimization of performance and dependability models
ACM SIGMETRICS Performance Evaluation Review
Discrete-event controller design using Petri nets and fuzzy logic - preliminary study
WSEAS Transactions on Systems and Control
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
On-line coordination among discrete-event agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Optimal Control of Production Processes with Variable Execution Times
Discrete Event Dynamic Systems
Ordinal Optimization and Quantification of Heuristic Designs
Discrete Event Dynamic Systems
Supervisory control of the structured dynamic discrete-event systems
Automation and Remote Control
Towards synthesizing optimal coordination modules for distributed agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Exploiting independence in a decentralised and incremental approach of diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Pervasive and Mobile Computing
Automatica (Journal of IFAC)
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
Automated synthesis of Ladder automation circuits based on state-diagrams
Advances in Engineering Software
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Discrete Event Dynamic Systems
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Discrete Event Dynamic Systems
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
Intelligent control of auxiliary ship systems
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Inference based on notifications: a holonic metamodel applied to control issues
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
IEEE Transactions on Fuzzy Systems
Diagnosability of fuzzy discrete-event systems: a fuzzy approach
IEEE Transactions on Fuzzy Systems
Maximally permissive deadlock avoidance for multithreaded computer programs
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
On-line fault diagnosis in a Petri net framework
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Generation of restart states for manufacturing systems with discarded workpieces
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Automatic Testing of Access Control for Security Properties
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Robust codiagnosability of discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Block diagram-based modeling of manufacturing systems using max-plus algebra
ACC'09 Proceedings of the 2009 conference on American Control Conference
Minimum initial marking estimation in labeled Petri nets
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
Harnessing bacterial power in microscale actuation
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)
Steering of Discrete Event Systems: Control Theory Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A decidable class of problems for control under partial observation
Information Processing Letters
Discrete Event Dynamic Systems
A Control Theory for Boolean Monomial Dynamical Systems
Discrete Event Dynamic Systems
Towards increased road safety: real-time decision making for driverless city vehicles
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Synthetic workload generation for capacity planning of virtual server environments
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Using information and communication technologies in intermodal freight transportation: a case study
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Mobile robot behavior coordination using supervisory control of fuzzy discrete event systems
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A procedure ontology for advanced diagnosis of process systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Improving real-time identification of Petri nets using timing information
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Implementation of supervisory control systems based on state machines
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Multi-Model approach to discrete events systems: Application to operating mode management
Mathematics and Computers in Simulation
Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Distributed diagnosis of discrete-event systems using Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Simulation and modelling of computer networks
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Timing Control of Switched Systems with Applications to Robotic Marionettes
Discrete Event Dynamic Systems
DES-based coordination of space-sharing mobile robots
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
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
Sequential window diagnoser for discrete-event systems under unreliable observations
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Concurrency control generation for dynamic threads using discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
A value-event path model based value engineering analysis methodology
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
International Journal of Bio-Inspired Computation
Multi-level hierarchical interface-based supervisory control
Automatica (Journal of IFAC)
Switching max-plus models for legged locomotion
ROBIO'09 Proceedings of the 2009 international conference on Robotics and biomimetics
Threshold optimization for rate adaptation algorithms in IEEE 802.11 WLANs
IEEE Transactions on Wireless Communications
Model-driven GUI & interaction design using emulation
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Supervisor direct synthesis method for a structured discrete dynamical system
Automation and Remote Control
Steady-state Markov chain analysis for heterogeneous cognitive radio networks
Sarnoff'10 Proceedings of the 33rd IEEE conference on Sarnoff
An automation model for the building energy management systems: a theoretical study
ROCOM'10 Proceedings of the 10th WSEAS international conference on Robotics, control and manufacturing technology
Brief paper: Abstraction-based verification of codiagnosability for discrete event systems
Automatica (Journal of IFAC)
Markov approach of adaptive task assignment for robotic system in non-stationary environments
WSEAS TRANSACTIONS on SYSTEMS
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Estimating and sampling graphs with multidimensional random walks
IMC '10 Proceedings of the 10th ACM SIGCOMM conference on Internet measurement
Diagnosis using unfoldings of parametric time Petri nets
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
An improved algorithm for determinization of weighted and fuzzy automata
Information Sciences: an International Journal
Stochastic control via direct comparison
Discrete Event Dynamic Systems
A formal model for performance and energy evaluation of embedded systems
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
Maximal-confirmation diagnoses
Knowledge-Based Systems
Active fault tolerant control of discrete event systems using online diagnostics
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
Diagnosability of pushdown systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Independent cycle time assignment for min-max systems
International Journal of Automation and Computing
Perturbation Analysis and Optimization of Multiclass Multiobjective Stochastic Flow Models
Discrete Event Dynamic Systems
Conceptual Design of Discrete-Event Systems Using Templates
Discrete Event Dynamic Systems
Modeling, control and experimental characterization of microbiorobots
International Journal of Robotics Research
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
SCHNAPS: a generic population-based simulator for public health purposes
Proceedings of the 2010 Summer Computer Simulation Conference
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
Decentralized Control of Infinite Systems
Discrete Event Dynamic Systems
Voting in multi-agent system for improvement of partial observations
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
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
Stabilization of Finite Automata with Application to Hybrid Systems Control
Discrete Event Dynamic Systems
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
State-dependent Control of a Single Stage Hybrid System with Poisson Arrivals
Discrete Event Dynamic Systems
Performance evaluation of schedulers in a probabilistic setting
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Mathematics and Computers in Simulation
Automata slicing for diagnosing discrete-event systems with partially ordered observations
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Control of modular and distributed discrete-event systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Brief paper: Optimal hybrid fault recovery in a team of unmanned aerial vehicles
Automatica (Journal of IFAC)
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica (Journal of IFAC)
Efficient calculation of rare event probabilities in Markovian queueing networks
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Fault diagnosis with dynamic fuzzy discrete event system approach
TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Discrete Event Dynamic Systems
Self-triggered coordination of robotic networks for optimal deployment
Automatica (Journal of IFAC)
Perfect sampling of Markov chains with piecewise homogeneous events
Performance Evaluation
Stochastic inequalities for M/G/1 retrial queues with vacations and constant retrial policy
Mathematical and Computer Modelling: An International Journal
Context-sensitive diagnosis of discrete-event systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Automatica (Journal of IFAC)
Advanced Engineering Informatics
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A note on controllability of deterministic context-free systems
Automatica (Journal of IFAC)
On supervising agents in situation-determined ConGolog
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Software Agent Systems for Improving Performance of Multi-Robot Groups
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Transition Complexity of Incomplete DFAs
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Analysis and control of fuzzy discrete event systems using bisimulation equivalence
Theoretical Computer Science
Partially-Supervised plants: embedding control requirements in plant components
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Modeling for safety in a synthesis-centric systems engineering framework
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Discrete Control for the Coordination of Administration Loops
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
Robust diagnosis of discrete-event systems against permanent loss of observations
Automatica (Journal of IFAC)
Journal of Intelligent and Robotic Systems
Statistical modelling of delays in a rail freight transportation network
Proceedings of the Winter Simulation Conference
Simulation analysis of multithreaded programs under deadlock-avoidance control
Proceedings of the Winter Simulation Conference
As soon as probable: optimal scheduling under stochastic uncertainty
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
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
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Optimal sensor selection for ensuring diagnosability in labeled Petri nets
Automatica (Journal of IFAC)
Incomplete transition complexity of basic operations on finite languages
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Supremal realizability of behaviors with uncontrollable exogenous events
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Coordinating multiple administration loops using discrete control
ACM SIGOPS Operating Systems Review
Self-Assessment and Reconfiguration Methods for Autonomous Cloud-based Network Systems
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
Mesoscale performance simulation of multicore processor systems
Software and Systems Modeling (SoSyM)
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Coordinating self-sizing and self-repair managers for multi-tier systems
Future Generation Computer Systems
Interactive state-transition diagrams for visualization of multimodal annotation
Intelligent Data Analysis
Hi-index | 0.03 |