yusuke1997/dblp-id-title huggingface dataset:
A Perturbation Analysis Approach to Phantom Estimators for Waiting Times in the G/G/1 Queue
Guest editorial: hybrid systems, part I
Epistemic interpretations of decentralized discrete-event system problems
A receding horizon event-driven control strategy for intelligent traffic management
Discrete event optimization of a vehicle charging station with multiple sockets
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
Conflict-preserving abstraction of discrete event systems using annotated automata
A necessary and sufficient condition for diagnosability of stochastic discrete event systems
Diagnosis of Intermittent Faults
Sample-path analysis of stochastic discrete-event systems
Analysis of Departure Times in Discrete and Continuous Tandem Production Lines
Fluid approximation of Petri net models with relatively small populations
Variance minimization of parameterized Markov decision processes
Correction to: Local and global robustness with q-step delay for max-plus linear systems
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
Hierarchical scheduling learning optimisation of two-area active distribution system considering peak shaving demand of power grid
On a generalization of power algorithms over max-plus algebra
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
Modeling operator/workstation interference in asynchronous automatic assembly systems
DEVS methodology for evaluating time-constrained message routing policies
Towards scalable synthesis of stochastic control systems
Opacity for linear constraint Markov chains
Optimal control of hybrid switched systems: A brief survey
A control scheme for freeway traffic systems based on hybrid automata
Computing observers from observation policies in discrete-event systems
Diagnosability analysis of hybrid systems cast in a discrete-event framework
Variational Bounds and Sensitivity Analysis of Traffic Processes in Continuous Flow Models
Diagnosability of Petri nets with observation graphs
Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces
Actuator saturation and anti-windup compensation in event-triggered control
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Special Issue on WODES'08
A hierarchical consistency framework for real-time supervisory control
MGF-based SNC for stationary independent Markovian processes with localized application of martingales
Variance reduction algorithms for parallel replicated simulation of uniformized Markov chains
Transformational supervisor synthesis for evolving systems
Stable and Real-Time Scheduling of a Class of Hybrid Dynamic Systems
Concurrent Sample Path Analysis of Discrete Event Systems
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs
Concurrent Secrets
Synchronization of a class of cyclic discrete-event systems describing legged locomotion
Event Counting of Partially-Observed Discrete-Event Systems with Uniformly and Nonuniformly Bounded Diagnosis Delays
On the composition of time Petri nets
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements
A simulation environment for multimodeling
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively
Shrinking of Time Petri nets
Message Batching in Wireless Sensor Networks - A Perturbation Analysis Approach
Approximate Simulation Relations for Hybrid Systems
Sensitivity analysis and optimization of stochastic Petri nets
Finite horizon continuous-time Markov decision processes with mean and variance criteria
Special section on software cybernetics
Asymptotic Properties of Monotonic Nonexpansive Mappings
Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra
A Discrete Event Systems Approach for Protocol Conversion
New Bounds for Timed Event Graphs Inspired by Stochastic Majorization Results
A survey on compositional algorithms for verification and synthesis in supervisory control
A Tractable Class of Maximal Hedging Policies in Multi-Part Manufacturing Systems
Modular Control and Coordination of Discrete-Event Systems
A First Step Towards Adaptive Control for Linear Systems in Max Algebra
Optimal energy-efficient policies for data centers through sensitivity-based optimization
Intelligent Control Paradigm for Dynamic Discrete Event System Simulation
On fluidization of discrete event models: observation and control of continuous Petri nets
Supervisory Control of Distributed Systems: Conflict Resolution
Instruction-throughput regulation in computer processors with data-center applications
Networked conflicting timed event graphs representation in (Max, +) algebra
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems
Triggered Concurrent Batch Arrivals and Batch Departures in Queueing Networks
Contention-resolving model predictive control for an intelligent intersection traffic model
A Nondeterministic Extension over Finitely Recursive Process Model
Supervisory controller synthesis and implementation for safety PLCs
Scheduling Under Common Due Date, A Single Resource and Precedence Constraints - A Dynamic Approach
Ordinal Hill Climbing Algorithms for Discrete Manufacturing Process Design Optimization Problems
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control
Hierarchical supervisory control of discrete event systems based on reliable events
Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints
On tolerance of discrete systems with respect to transition perturbations
A Multi-Component General Discrete System Subject to Different Types of Failures with Loss of Units
Hierarchical planning in a supervisory control context with compositional abstraction
Stability of Parallel Queueing Systems with Coupled Service Rates
Determinization of timed Petri nets behaviors
Recursive computation of limited lookahead supervisory controls for discrete event systems
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes
A bi-level approach for the design of event-triggered control systems over a shared network
On derivative estimation of single-server queues via structural infinitesimal perturbation analysis
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems
Supervisor Synthesis for Real-Time Discrete Event Systems
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Guest editor introduction
Diagnosability of discrete event systems and its applications
Analysis and control of max-plus linear discrete-event systems: An introduction
Lagrange stability and boundedness of discrete event systems
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra
Weakly linear systems for matrices over the max-plus quantale
The level set method for the two-sided max-plus eigenproblem
Tail Asymptotics for Discrete Event Systems
Predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
Asymptotic properties of stochastic timed event graphs
Extending the DEVS formalism for massively parallel simulation
Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN
A maximum principle based combined method for scheduling in a flexible manufacturing system
Efficient generation of performance bounds for a class of traffic scheduling problems
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Ranking nodes in general networks: a Markov multi-chain approach
A mixed dynamics approach for linear corridor policies: A revisitation of dynamic setup scheduling and flow control in manufacturing systems
Parallel simulation of statistical multiplexers
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal-Difference Learning
Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes
Just in Time Control of Constrained ( max , +)-Linear Systems
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems
The Relations Among Potentials, Perturbation Analysis, and Markov Decision Processes
Power Algorithms for (max, +)- and Bipartite (min, max, +)-Systems
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms
Time-optimal control of large-scale systems of systems using compositional optimization
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
Average criteria in denumerable semi-Markov decision chains under risk-aversion
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems
Toward a decision support system for the clinical pathways assessment
Safe Supervisory Control Under Observability Failure
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
A comparative review of decision-making approaches for realistic event-driven environments
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
Weakly coupled event triggered output feedback system in wireless networked control systems
Convergence Rate of Ordinal Optimization for Stochastic Discrete Event Systems
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
On controlling prioritized discrete event systems with real-time constraints
On a class of timer hybrid systems reducible to finite state automata
Infinitesimal perturbation analysis of a single-stage fluid queue with loss feedback and non-responsive competing traffic
An Equivalent CTL Formulation for Condition Sequences
Ordinal Comparison via the Nested Partitions Method
Discrete Semantics for Hybrid Automata
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
Tracking dynamic deadlines in switched max-plus linear systems with uncontrollable workloads
Resource-aware networked control systems under temporal logic specifications
A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development
Minimum attention control for linear systems - A linear programming approach
Linear optimal control strategies for production systems with a discrete-event demand pattern
Modeling for supervisor synthesis - a lock-bridge combination case study
A Two-Queue Polling Model with Two Priority Levels in the First Queue
Discrete-time hybrid control with risk-sensitive discounted costs
Dependability analysis of DES based on MARTE and UML state machines models
Hierarchical control of discrete-event systems
Integrated Resource Scheduling and Bidding in the Deregulated Electric Power Market: New Challenges
Monotonicity properties of cost functions in queueing networks
Dynamic setup scheduling and flow control in manufacturing systems
On the Computation of Observers in Discrete-Event Systems
Special Issue on WODES'06
Overview of networked supervisory control with imperfect communication channels
Reducing the computational effort of symbolic supervisor synthesis
Smart contract denial-of-service analysis using non-blocking verification
A controller synthesis framework for automated service composition
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures
Necessary and sufficient conditions for strong comparability of multicomponent systems
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition
A Proximal Point Based Approach to Optimal Control of Affine Switched Systems
Block-structured supermarket models
Stochastic control via direct comparison
Recent Advances in Hierarchical Reinforcement Learning
Latticed-LTL synthesis in the presence of noisy inputs
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
Compositionally Progressive Solutions of Synchronous FSM Equations
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
On just-in-time control of timed event graphs with input constraints: a semimodule approach
Markovian dynamics of concurrent systems
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
Conceptual Design of Discrete-Event Systems Using Templates
Performance Evaluation and Policy Selection in Multiclass Networks
Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints
Fluctuation smoothing policies are stable for stochastic re-entrant lines
Approximated timed reachability graphs for the robust control of discrete event systems
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling
Generation of mathematical programming representations for discrete event simulation models of timed petri nets
Multi-task Implementation of Multi-periodic Synchronous Programs
Customer-Oriented Finite Perturbation Analysis for Queueing Networks
Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters
A Queueing Model for the Design and Analysis of a Mining Stockyard
Scalable adaptive traffic light control over a traffic network including turns, transit delays, and blocking
Central Limit Theorems for Stochastic Optimization Algorithms Using Infinitesimal Perturbation Analysis
Comparative analysis of related notions of opacity in centralized and coordinated architectures
A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption
Predictability of fuzzy discrete event systems
Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control
Dynamic Min-Max Problems
Optimal control of multiclass parallel service systems
Special section on modeling of reactive systems
A Petri net based approach for multi-robot path planning
Minimal sensor activation and minimal communication in discrete-event systems
Perturbation analysis of waiting times in the G/G/1 queue
State-based supervisory control with restrictions on the supervisor realization
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation
Performance of the MAP/G/1 Queue Under the Dyadic Control of Workload and Server Idleness
Maximally permissive controlled system synthesis for non-determinism and modal logic
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata
Optimal Stopping and Gittins' Indices for Piecewise Deterministic Evolution Processes
Prognosis of omega -Languages for the Diagnosis of * -Languages: A Topological Perspective
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Coupling in the queue with impatience: case of several servers
A novel fully adaptive neural network modeling and implementation using colored Petri nets
Multi-level control for multiple mobile robot systems
Min-max functions
Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems
Compositional Abstractions of Hybrid Control Systems
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
Modal Specifications for the Control Theory of Discrete Event Systems
Perturbation Analysis for Stochastic Fluid Queueing Systems
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
Modular Fault Diagnosis Based on Discrete Event Systems
Control of Parameterized Discrete Event Systems
Optimal Control of Discrete Event Systems with Weakly Hard Real-Time Constraints
Timing Control of Switched Systems with Applications to Robotic Marionettes
Introduction to the Special Issue on Learning, Optimization, and Decision Making in DEDS
Submodular optimization problems and greedy strategies: A survey
Event rates and aggregation in hierarchical discrete event systems
An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
Foreword to the Learning, Optimization, and Decision Making in DEDS
Guest editorial: special issue on performance analysis and optimization of discrete event systems
A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
On the Convergence of Global Rational Approximants for Stochastic Discrete Event Systems
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS
Simulations and bisimulations for max-plus automata
Optimizing discrete event dynamic systems via the gradient surface method
Coordination control of discrete-event systems revisited
A pseudometric in supervisory control of probabilistic discrete event systems
Structured buffer-allocation problems
Ghost Simulation Model for the Optimization of an Urban Subway System
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
N-dimensional Cell-DEVS Models
Uniformization based sensitivity estimation for a class of discrete-event systems
Tight performance bounds in the worst-case analysis of feed-forward networks
Evaluation and Optimization of Two-Stage Continuous Transfer Lines Subject to Time-Dependent Failures
Synthesis of Supervisors Using Learning Algorithm of Regular Languages
Functional Estimation with Respect to a Threshold Parameter via Dynamic Split-and-Merge
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems
Some insights of using common random numbers in selection procedures
Cycle times in D/D/S series queues with single multi-server bottlenecks
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets"
Max-plus steady states in discrete event dynamic systems with inexact data
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
On tolerable and desirable behaviors in supervisory control of discrete event systems
Centralized Modular Diagnosis and the Phenomenon of Coupling
Using logic to solve the submodule construction problem
A functional approximation for the M/G/1/N queue
Methods for the estimation of the size of lookahead tree state-space
Modelling and control of periodic time-variant event graphs in dioids
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
Fault model identification and synthesis in Petri nets
On the computation of counterexamples in compositional nonblocking verification
Convergence of stochastic approximation coupled with perturbation analysis in a class of manufacturing flow control models
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
State estimation and detection of changes in time interval models
Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller
Guest editorial: hybrid systems, part II
Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Dynamics of products of matrices in max algebra
Automated generation of dynamics-based runtime certificates for high-level control
Foreword to the Special Issue
On Regression-Based Stopping Times
On an Optimization Problem for a Class of Impulsive Hybrid Systems
Compositional coordinator synthesis of extended finite automata
On detectability of labeled Petri nets and finite automata
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study
Obtaining sample path derivatives by source code instrumentation
Book review: Stochastic models of manufacturing systems - J. A. Buzacott and J. G. Shanthikumar (Prentice Hall, 1993; xxii + 553. ISBN-0-13-847567-9
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
Detectability of networked discrete event systems
Parallel simulation of DEDS via event synchronization
Least Squares Policy Evaluation Algorithms with Linear Function Approximation
Why Event Observation: Observability Revisited
A discrete MMAP for analysing the behaviour of a multi-state complex dynamic system subject to multiple events
An improved approach for marking optimization of timed weighted marked graphs
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Simulating Markovian stochastic Petri Nets by difference equations with interval parameters
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
Smoothed Perturbation Analysis for Stationary Single-Server Queues with Multiple Customer Classes
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
On condition/event systems with discrete state realizations
Hierarchical control of timed discrete-event systems
Assigning multiple job types to parallel specialized servers
Critical subsystems in time interval models
Event-based optimization of admission control in open queueing networks
Guest editorial: event-based control and optimization
A tutorial on event-based optimization - a new optimization framework
Disordered discrete-time quantum walk over max-plus algebra
Interpreted synchronous extension of time Petri nets
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
Optimal Production Planning in a Multi-Product Stochastic Manufacturing System with Long-Run Average Cost
Commodification of accelerations for the Karp and Miller Construction
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents
An accelerated stopping rule for the Nested Partition Hybrid Algorithm for discrete stochastic optimization
Discrete event systems: Modeling and performance analysis - by Christos G. Cassandras, Richard D. Irwin, Inc., and Aksen Associates, Inc., Homewood, IL, 1993. xix + 790 pp. ISBN 0-256-11212-6
Stabilization of Finite Automata with Application to Hybrid Systems Control
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets
Diagnosability and attack detection for discrete event systems under sensor attacks
Modeling, Analysis, and Optimal Control of a Class of Hybrid Systems
Erratum to: Diagnosis of discrete event systems using decentralized architectures
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations
Modeling discrete event systems with state-dependent deterministic service times
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets