yusuke1997/dblp-id-title huggingface dataset:
Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints
Detectability of labeled weighted automata over monoids
An Algorithmic Toolbox for Network Calculus
Full-state perturbation analysis of discrete event dynamic systems
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
Throughput-Optimal Sequences for Cyclically Operated Plants
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems
Specification techniques for Markov reward models
Switched max-plus linear-dual inequalities: cycle time analysis and applications
Synthesis of covert actuator attackers for free
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
Optimal scheduling of parallel queues using stochastic flow models
Locked discrete event systems: How to model and how to unlock
Model Checking for a Class of Weighted Automata
On an Optimization Problem in Sensor Selection*
Finite abstractions for hybrid systems with stable continuous dynamics
Distributed supervisory control of discrete-event systems with communication delay
A Cycle Time Computing Algorithm and its Application in the Structural Analysis of Min-max Systems
Insensitive Traffic Models for Communication Networks
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity
On-Line Policy Gradient Estimation with Multi-Step Sampling
Modeling and control of switching max-plus-linear systems with random and deterministic switching
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Editorial: changes at J-DEDS
Augmented finite transition systems as abstractions for control synthesis
Reinforcement Learning Based Algorithms for Average Cost Markov Decision Processes
Efficient simulation of hierarchical stochastic activity network models
Optimal Allocation Sequences of Two Processes Sharing a Resource
SMT-based and fixed-point approaches for state estimation in max-plus linear systems
Input/output discrete event processes and communication delays
Optimal Control of Switching Surfaces in Hybrid Dynamical Systems
First and Second Derivative Estimators for Closed Jackson-Like Queueing Networks Using Perturbation Analysis Techniques
Scheduling and control of real-time systems based on a token player approach
Strong consistency of infinitesimal perturbation analysis for tandem queueing networks
A Sufficient Condition for Reachability in a General Petri Net
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach
Distributed inversion in timed discrete event systems
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Infinitesimal Perturbation Analysis and Optimization for Make-to-Stock Manufacturing Systems Based on Stochastic Fluid Models
Model Checking of Time Petri Nets Using the State Class Timed Automaton
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model
Performance Analysis of a Block-Structured Discrete-Time Retrial Queue with State-Dependent Arrivals
A hierarchical and modular control architecture for sequential behaviours
Faults prognosis using partially observed stochastic Petri-nets: an incremental approach
Maximum likelihood estimation for generalized semi-markov processes
A graph-theoretic optimal control problem for terminating discrete event processes
A contribution to the determinization of max-plus automata
Maximal coupling Rare Perturbation Analysis with a random horizon
PSPACE-completeness of Modular Supervisory Control Problems*
Combining the Stochastic Counterpart and Stochastic Approximation Methods
Special issue on "New approaches for DES modeling, analysis and synthesis"
ProgramID
Alignment Properties in Ordinal Comparison of Discrete Event Dynamic Systems
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
On-line compositional controller synthesis for AGV
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Massively parallel SIMD simulation of markovian DEDS: Event and time synchronous methods
An extremum timed extended reachability graph for temporal analysis of time Petri nets
Hybrid systems tools for compiling controllers for cyber-physical systems
Automatic detection of Android crypto ransomware using supervisor reduction
Ordinal optimization of DEDS
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions
Diagnosability of Discrete Event Systems with Modular Structure
Identification of Petri Nets from Knowledge of Their Language
Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization
Privacy preserving minimal observability for composite transactional services
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
Off-Line Computation of Real-Time Schedules Using Petri Nets
Falsification of combined invariance and reachability specifications in hybrid control systems
Marking optimization of stochastic timed event graphs using IPA
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems
Estimation methods for passage times using one-dependent cycles
Decentralized diagnosis of discrete event systems subject to permanent sensor failures
Model approximation for batch flow shop scheduling with fixed batch sizes
Transient product from distributions in queueing networks
Huffman algebras for independent random variables
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets
Model-checking precision agriculture logistics: the case of the differential harvest
Supervisory Control of (max, +) Automata: A Behavioral Approach
Towards a (Max, +) Control Theory for Public Transportation Networks
An enhanced lognormal selection procedure
Diagnosability Analysis of a Class of Hierarchical State Machines
Modeling, Simulation and Analysis of Batch Production Systems
Foreword: Special section on performance evaluation methodologies
Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors
Computation of minimal event bases that ensure diagnosability
Editorial - Special issues, technical notes, and speculative papers
Do what you know: coupling knowledge with action in discrete-event systems
Diagnosability verification using LTL model checking
Solvability of Centralized Supervisory Control Under Partial Observation
Mixed Nondeterministic-Probabilistic Automata
Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max, +) algebra
Welcome Announcement
Arborescent architecture for decentralized diagnosis of discrete event systems
Distributed Monitoring of Concurrent and Asynchronous Systems*
Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays
Supervisory control to maximize mean time to failure in discrete event systems
Perturbation Analysis of Multiclass Stochastic Fluid Models
Using Ordinal Optimization Approach to Improve Efficiency of Selection Procedures
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
Optimal control of a class of DEDS: Flow-shops with state-dependent processing times
Distributed computation of vector clocks in Petri net unfoldings for test selection
On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution
Supervisory control using variable lookahead policies
A New Algorithm for Stochastic Discrete Resource Allocation Optimization
An algorithm to compute the minimal siphons in S 4 PR nets
Setup Scheduling of Manufacturing Systems as the Art of Juggling
Tandem queues with general blocking: A unified model and comparison results
Fairness of Transitions in Diagnosability of Discrete Event Systems
On steady state of continuous min-plus systems
Special issue on Modeling of Reactive Systems
Pathwise stability of multiclass queueing networks
Discrete-event systems subject to unknown sensor attacks
Special issue on recent trends in discrete event systems
Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints
Control of Safe Ordinary Petri Nets Using Unfolding
State-dependent Control of a Single Stage Hybrid System with Poisson Arrivals
Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic
Editorial for the SI: Optimization of Discrete Event Dynamic Systems
Multitasking Supervisory Control of Discrete-Event Systems
An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities
Conflict-free electric vehicle routing problem: an improved compositional algorithm
Periodicity and critical circuits in a generalized max-algebra setting
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
The evaluation of pedestrians' behavior using M/G/C/C analytical, weighted distance and real distance simulation models
On control of systems modelled as deterministic Rabin automata
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
Infinitesimal perturbation analysis of a queueing system with bursty traffic
Period of Processing on Serial Production Line, Optimal Scheduling and Application
Characterizations and effective computation of supremal relatively observable sublanguages
Using Augmented Infinitesimal Perturbation Analysis for Capacity Planning in Intree ATM Networks
Approximate Gradient Methods in Policy-Space Optimization of Markov Reward Processes
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Receding Horizon Control of Mixed Line Flow Shop Systems
Dynamic Control with Indistinguishable Events
A general language-based framework for specifying and verifying notions of opacity
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
Cycle time of a P-time Event Graph with affine-interdependent residence durations
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization
Stabilization and blocking in state feedback control of discrete event systems
Adaptive decentralized control under non-uniqueness of the optimal control
Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems
The Equivalence between Ordinal Optimization in Deterministic Complex Problems and in Stochastic Simulation Problems
Standard clock simulation and ordinal optimization applied to admission control in integrated communication networks
Design and verification of pipelined circuits with Timed Petri Nets
Current-state opacity enforcement in discrete event systems under incomparable observations
Information control in networked discrete event systems and its application to battery management systems
Control of (max, +)-linear systems minimizing delays
New Linear Program Performance Bounds for Closed Queueing Networks
On Hybrid Petri Nets
On the relation between reactive synthesis and supervisory control of non-terminating processes
Decidability results in First-Order Hybrid Petri Nets
A modeling strategy for hybrid systems based on event structures
Infinitesimal Perturbation Analysis in Networks of Stochastic Flow Models: General Framework and Case Study of Tandem Networks with Flow Control
Quantifying Heuristics in the Ordinal Optimization Framework
The concert queueing game: to wait or to be late
Parallel sample path generation for discrete event systems and the traffic smoothing problem
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Switched-mode systems: gradient-descent algorithms with Armijo step sizes
Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
Discovering petri nets including silent transitions. A repairing approach based on structural patterns
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness
Hybrid Discrete and Continuous Control for Power Systems
Near-Optimal Online Control of Dynamic Discrete-Event Systems
Logical time control of concurrent DES
Structuring Acyclic Petri Nets for Reachability Analysis and Control
Long time behaviour for Markovian branching-immigration systems
A Control Theory for Boolean Monomial Dynamical Systems
Guest editorial: special issue on formal methods in control
Ordinal optimization approach to rare event probability problems
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min , +) Semiring
A mean field absorbing control model for interacting objects systems
State estimation of timed probabilistic discrete event systems via artificial neural networks
Analyzing Security Protocols Using Time-Bounded Task-PIOAs
Supervisor Reduction for Discrete-Event Systems
Synthesis of Controllers of Processes Modeled as Colored Petri Nets
Stabilizing bit-rates in networked control systems with decentralized event-triggered communication
Aggregation in Hierarchical Discrete-Event Systems
Constrained Ordinal Optimization - A Feasibility Model Based Approach
Robustness of synchronous communication protocols with delay for decentralized discrete-event control
A tropical-algebraic method for the control of timed event graphs with partial synchronization
Zero-Automatic Networks
On the Optimality of Randomized Deadlock Avoidance Policies
Sample Path Analysis for Continuous Tandem Production Lines
Offline supervisory control synthesis: taxonomy and recent developments
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Discrete Events in Power Systems
On-line control of partially observed discrete event systems
A poisson equation for the risk-sensitive average cost in semi-markov chains
On-Line Monitoring of Large Petri Net Models Under Partial Observation
A mean field approach for optimization in discrete time
On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
Enhancement of Petri nets identified from discrete-event processes by scheduling t-components
Sensitivity analysis of ranked data: from order statistics to quantiles
Basic Ideas for Event-Based Optimization of Markov Systems
Reliable decentralized failure diagnosis of discrete event systems using single-level inference
Sparsity in max-plus algebra and systems
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming
Structure and dynamics of acyclic networks
Editorial - Thirty years of J-DEDS: moving on with new leadership
A pathwise comparison of parallel queues
Operational semantics of a domain specific language for real time musician-computer interaction
Optimal Control of Production Processes with Variable Execution Times
Synthesis of Discrete-Event Controllers Based on the Signal Environment
Asymptotic continuous Petri nets
Derivative Estimation for Buffer Capacity of Continuous Transfer Lines Subject to Operation-Dependent Failures
Decentralized Control of Infinite Systems
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs
Supervisory control using augmented languages in discrete event systems
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems
A Location-free Algorithm of Energy-Efficient Connected Coverage for High Density Wireless Sensor Networks
Comparison with a Standard via All-Pairwise Comparisons
New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems
A Survey of Petri Net Methods for Controlled Discrete Event Systems
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
Enforcement and validation (at runtime) of various notions of opacity
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net
Ergodic properties of concurrent systems
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Diagnosis and Degradation Control for Probabilistic Systems
Stationary IPA estimates for nonsmooth G/G/1/∞ functionals via palm inversion and level-crossing analysis
Some Ergodic Results on Stochastic Iterative Discrete Events Systems
Regular Ordering and Applications in Control Policies
Local and global robustness with q-step delay for max-plus linear systems
A framework for compositional nonblocking verification of extended finite-state machines
A Characterization of the Eigenvalue of a General (Min, Max, +)-System
Diagnosis from scenarios
Introduction to the WODES2000 Special Issue
The risk probability criterion for discounted continuous-time Markov decision processes
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems
Path planning for robotic teams based on LTL specifications and Petri net models
On using continuous flow lines to model discrete production lines
Zero-sum semi-Markov games with state-action-dependent discount factors
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
New performance sensitivity formulae for a class of product-form queueing networks
Due-date quotation model for manufacturing system scheduling under uncertainty
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces
Supervisory control and reactive synthesis: a comparative introduction
Multiscale Q-learning with linear function approximation
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Optimal on-off control for a class of discrete event systems with real-time constraints
The Brownian approximation for rate-control throttles and the G/G/1/C queue
Performance Analysis of Discrete-Time Finite-Buffer Batch-Arrival GI X /Geom/1/N Queues
The mean-field computation in a supermarket model with server multiple vacations
Container of (min, +)-linear systems
Leveraging Horn clause solving for compositional verification of PLC software
Discrete event system identification with the aim of fault detection
Protocol design for an automated highway system
From Perturbation Analysis to Markov Decision Processes and Reinforcement Learning
A Subgradient Descent Algorithm for Optimization of Initially Controllable Flow Shop Systems
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks
A New Learning Algorithm for Optimal Stopping
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Perturbation Analysis and Optimization of Multiclass Multiobjective Stochastic Flow Models
Dynamic hierarchical reactive controller synthesis
Reduction of Timed Hybrid Systems
Towards railway traffic management using switching Max-plus-linear systems - Structure analysis and rescheduling
Marking Optimization of Weighted Marked Graphs
On the Minimization of Communication in Networked Systems with a Central Station
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Facilitating Coordination between Software Developers: A Study and Techniques for Timely and Efficient Recommendations
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms
Supporting Software Designers with Integrated Domain-Oriented Design Environments
Image Access Protocol for Image Processing Software
CSM: A Distributed Programming Language
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
Programming with Streams in a Pascal-Like Language
Data Element Security and Its Effects on File Segmentation
A Distributed Parallel Programming Framework
Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems
Teaching a Software Design Methodology
Formal Specification of a Look Manager
A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems
Managing and Predicting the Costs of Real-Time Software
Certification of Software Components
Specifying Callback Control Flow of Mobile Apps Using Finite Automata
On the Distribution of Bugs in the Eclipse System
On Company Contributions to Community Open Source Software Projects
Gandalf: Software Development Environments
A Model for Representing Programs Using Hierarchical Graphs
Guest Editors' Introduction: 1999 International Conference on Software Engineering
Two Methods for the Efficient Analysis of Memory Address Trace Data
Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment
Automatic Debugging of Design Faults in MapReduce Applications
View Modeling and Integration Using the Functional Data Model
Comments on "Researcher Bias: The Use of Machine Learning in Software Defect Prediction"
Adaptive Service Composition in Flexible Processes
A Journal for the Second Quarter of the Century
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
Erratum and Corrigendum for "Structured Programming With and Without GO TO Statments"
Static Profiling of Alloy Models
Properties of Control-Flow Complexity Measures
Tractable Dataflow Analysis for Distributed Systems
Foreword Software Reliability
Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments
The Evolution of Automated Software Repair
A State-of-the-Practice Survey of Risk Management in Development with Off-the-Shelf Software Components
Tidy Drawings of Trees
Guidelines for Eliciting Usability Functionalities
Targeted Scrum: Applying Mission Command to Agile Software Development
Environment Evolution: The Prism Model of Changes
Strong Verification of Programs
An Extended Domain-Bases Model of Software Reliability
Monitor-Based Instant Software Refactoring
Large Language Models-Aided Program Debloating
Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking
CBUA: A Probabilistic, Predictive, and Practical Approach for Evaluating Test Suite Effectiveness
Verisim: Formal Analysis of Network Simulations
An Alphard Specification of a Correct and Efficient Transformation on Data Structures
Modeling Software Behavior in Terms of a Formal Life Cycle Curve: Implications for Software Maintenance
Function Points Analysis: An Empirical Study of Its Measurement Processes
A Retrospective of Proving the Correctness of Multiprocess Programs
Construction and Validation of an Instrument for Measuring Programming Skill
Load Balancing in Distributed Systems
Analytic Models for Rollback and Recovery Strategies in Data Base Systems
Dependence Guided Symbolic Execution
A Vector-Based Approach to Software Size Measurement and Effort Estimation
Computational Improvements in Prolog Applications by Predicate Variable Pointers
From Inheritance to Mockito: An Automatic Refactoring Approach
A Comparison of Dynamic and Static Virtual Memory Allocation Algorithms
A Relational Representation of an Abstract Type System
Formalization of the Whole-Part Relationship in the Unified Modeling Language
A Taxonomy and Mapping of Computer-Based Critiquing Tools
An Entropy-Based Measure of Software Complexity