yusuke1997/dblp-id-title huggingface dataset:
Application of supervisory control theory to guide cellular dynamics
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016
An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis
Modeling and control of resource sharing problems in dioids
Observation Equivalence of Petri Net Generators
A Petri Net model for fleet sizing of Electric Car Sharing Systems
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking
Local Modular Supervisory Control of Timed Discrete-Event Systems
SimHPN: A MATLAB toolbox for continuous Petri nets
Diagnosability verification using compositional branching bisimulation
New results on supervisor localization, with application to multi-agent formations
Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery
Robust failure diagnosis of partially observed discrete event systems
A method for the synchronisation of networked discrete-event systems
A Numerical Analysis of the M/G/1/N Queue with Vacations
Supervisory control of software execution for failure avoidance: Experience from the Gadara project
Control of uncertain (max, +)-linear systems in order to decrease uncertainty
Computation of supervisors for reconfigurable machine tools
Robust Supervisory Control against Intermittent Loss of Observations
Integrated optimal production and energy control of a single machine and single product-type manufacturing system
Range and value-set analysis for programmable logic controllers
Abstraction-based synthesis of timed supervisors for time-weighted systems
On proportional controller in (min; +) algebra
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools
Numerically stable approximations of optimal control processes associated with a class of switched systems
Enforcing opacity of regular predicates on modal transition systems
Using max-plus to solve the job shop problem with time lags
K-Diagnosability of Time Labeled Petri Nets
Abstraction-Based Verification for Partially Observed Discrete Event Systems
Stock reduction for timed event graphs based on output feedback
Tracking control of deterministic I/O automata
Some perspectives and challenges in the (discrete) control of cellular systems
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems
Detection and prevention of actuator enablement attacks in supervisory control systems
Faulty model identification in deterministic labeled Time Petri nets
Enforcing opacity with Orwellian observation
Modeling and Control for Max-Plus Systems with Partial Synchronization
Local Control Law for Live and Bounded Continuous Petri Nets
Accuracy vs. complexity: The stochastic bound approach
Hierarchical interface-based supervisory control using the conflict preorder
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014
FIFO time Petri nets for conflicts handling
IPA for continuous Petri nets
Timed Petri nets perspective on weaving processes
Control of continuous Petri nets using ON/OFF based method
Synchronous composition of interval weighted automata
Decentralized state estimation in discrete event systems under partially ordered observation sequences
Generalised Search for the Observer Property in Discrete Event Systems
Synthesis Tool for Automation Controller Supervision
Applied supervisory control for a flexible manufacturing system
How Does Perturbation Analysis Work in Finance and Economics?
Automated controllability and synthesis with hierarchical set decision diagrams
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata
Discrete Controller Synthesis for Infinite State Systems with ReaX
Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput
Perturbation analysis of stochastic hybrid systems and applications to some non-cooperative games
Multiparametric predictive control for a class of Discrete Event Systems
Delay bound of inference-based decentralized diagnosis in discrete event systems
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems
Towards Green Shipping with Integrated Bunkering and Cruising Policy
From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers
Max-consensus in a max-plus algebraic setting: The case of switching communication topologies
A Framework for Supervisory Control of Probabilistic Discrete Event Systems
On the construction of probabilistic diagnosers
Computing continuous control laws for gene regulatory networks within a discrete-event systems approach
A frequency-domain approach for max-plus linear systems
Asymptotic throughput of stochastic max-plus linear systems
Analysis of Timed Automata with Guards in dioids algebra
Stochastic path optimization for robotic bees using cloud computing
Cyclic workflow resource requirement analysis and application in healthcare
Supervisory control of Petri nets using polyhedral regions
Comparing MILP, CP, and A* for multiple stacker crane scheduling
Optimal control of switched-mode dynamical systems
Structural fault diagnosis in Timed Continuous Petri Nets
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
A constraint programming approach for generating firing sequences in timed Petri nets with token identification
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis
Control Experiments for a Network of Signalized Intersections Using the '.Q' Simulator
Automated service composition via supervisory control theory
Graph process specifications for hybrid networked systems
50 years after the PhD thesis of Carl Adam Petri: A perspective
Gradient estimation for quantiles of stationary waiting times
Computation of projections for the abstraction-based diagnosability verification
Causality Phenomenon and Compromise Technique for Predictive Control of Timed Event Graphs with Specifications Defined by P-Time Event Graphs
A new protocol for the decentralized diagnosis of labeled Petri nets
Non-Parametric Sensitivity Analysis of the Finite M/M/1 Queue
Water Supply Optimization: An IPA Approach
Incremental scheduling of discrete event systems
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets
Modular supervisor synthesis for extended finite-state machines subject to controllability
Solution of a multi-agent transport problem by hybrid optimization
Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity and Partially Observed SPNs
Compositional nonblocking verification using annotated automata
Maximally Permissive Petri Net Supervisors with a Novel Structure
Optimal self-driven sampling for estimation based on value of information
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions
A pure SPEC-inscribed PN model for reconfigurable systems
Backward conflict free systems with resources and their distributed control using Petri nets
Control Optimization of Discontinuous Hybrid Systems Using Embedding
Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting
A decision support system for risk evaluation of HAZMAT transportation in motorways
A rollout method for finite-stage event-based decision processes
Compositions of (max, +) automata
Supervisory enforcement of current-state opacity with uncomparable observations
A hierarchical control architecture for sequential behaviours
Discussion on fault diagnosis methods of discrete event systems
A new algorithm for computing the supremal relatively observable sublanguage
Symbolic Interpretation and Execution of Extended Finite Automata
Model Predictive Control for Max-Plus-Linear Systems Via Optimistic Optimization
Backward Reachability of Autonomous Max-Plus-Linear Systems
Network codiagnosability of Discrete-Event Systems subject to event communication delays
On two-way observer and its application to the verification of infinite-step and K-step opacity
LP-Based Approaches to Stationary-Constrained Markov Decision Problems
Threshold optimization of event-triggered multi-loop control systems
Opacity with Orwellian Observers and Intransitive Non-Interference
Decentralized Monitors Design for Petri Net Models
A new linear constraint transformation approach for Petri nets with uncontrollable transitions
Optimal vendor-managed inventory policies in distribution systems with discrete-event processes
A Conformance Relation for Model-Based Testing of PLC
Graph transformation as a modelling framework for supervisory control
Comparison of different classes of service curves in network calculus
Synthesis of behavioral controllers for DES: Increasing efficiency
A resiliency measure for electrical power systems
An algorithm to compute the minimal siphons in S4PR nets
Supervisory Controller Synthesis for Safe Software Adaptation
On the computation of supremal sublanguages relevant to supervisory control
Application of supervisory control theory to theme park vehicles
Robust diagnosis of discrete-event systems subject to permanent sensor failures
Linear time-varying (max, +) representation of conflicting timed event graphs
Strategies for two-player differential games with costly information
Diagnosability of labeled Petri nets via integer linear programming
A New Hybrid Stochastic Approximation Algorithm
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer
Multi-intersection traffic light control using infinitesimal perturbation analysis
Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs
Optimal deadlock avoidance for complex resource allocation systems through classification theory
Stationary behavior of controlled generalized batches Petri nets
Discontinuity induced bifurcations in timed continuous Petri nets
Fault-tolerant control of nondeterministic input/output automata subject to actuator faults
Detection of Unusual Human Activities Based on Behavior Modeling
Initial investigations of hybrid thermodynamic control systems with phase transitions
A geometric approach for the homothetic approximation of stochastic Petri nets
Supervisor abstraction to deal with planning problems in manufacturing systems
Towards the Removal of Synchronous Behavior of Events in Automata
Efficient algorithm for quay crane scheduling with arbitrary precedence constraint
11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012
Generalised verification of the observer property in discrete event systems
Selection of solution strategies for colored traveling salesman problems with different city distribution
Maximal permissive timed control for a class of hybrid systems
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems
Discriminability Analysis of Supervision Patterns by Net Unfoldings
An Incremental Hierarchical Constraint Solver
Fourier's Elimination: Which to Choose?
2lp: Linear Programming and Logic Programming
Programming in CLP(BNR)
Using a Visual Constraint Language for Data Display Specification
Robot Programming and Constraints
Constraint Optimization using Preference Logics: A New Role for Modal Logic
Inferring 3-dimensional constraints with DEVI
Panel Session: Commercial Applications of Constraint Programming
Foundations of Indefinite Constraint Databases
Aggregation in Constraint Databases
CC Programs with both In- and Non-determinism: A Concurrent Semantics
Constraint Objects
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization
Entailment and Disentailment of Order-Sorted Feature Constraints
Constraint-Generating Dependencies
QUAD-CLP(R): Adding the Power of Quadratic Constraints
Encapsulated Search and Constraint Programming in Oz
Logic-Based Methods for Optimization
Experiences with Constraint-based Array Dependence Analysis
Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings
Contradicting Conventional Wisdom in Constraint Satisfaction
Constraints in Nonmonotonic Reasoning
A Constraint Based Scientific Programming Language
Constraining the Structure and Style of Object-Oriented Programs
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm
Higher-Order Logic Programming as Constraint Logic Programming
Set Constraints: Results, Applications, and Future Directions
Implementing Computational Systems with Constraints
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System
Towards a Concurrent Semantics based Analysis of CC and CLP
Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island
Constraint Programming in Constraint Nets
Constraint Satisfaction in Functional Programming
Applications in Constraint Logic Programming with Strings
On the Semantics of Optimization Predicates in CLP languages
The Geometry in Constraint Logic Programs
Specification and Verification of Constraint-Based Dynamic Systems
Locally Simultaneous Constraint Satisfaction
Synthesis of Constraint Algorithms
Exploiting Constraint Dependency Information For Debugging and Explanation
A Substitution Operation for Constraints
A Powerful Evaluation Strategy For CLP Programs
Constraint-Based Languages for Scientific Database and Modeling Systems
Foundations of Aggregation Constraints
Global Consistency for Continuous Constraints
On the Design of Constraint Satisfaction Problems
Efficient and Complete Tests for Database Integrity Constraint Checking
Linear vs Polynomial Constraints in Database Query Languages
The SkyBlue Constraint Solver and Its Applications
Memoization in Constraint Logic Programming
Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling
A higher-order extension of constraint programming in disourse analysis
Local Consistency in Parallel Constraint-Satisfaction Networks
Beyond Finite Domains
Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract)
Set-based Concurrent Engineering
Terminological Reasoning with Constraint Handling Rules
Set Constraints and Set-Based Analysis
A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction
GSAT and Dynamic Backtracking
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints
Constraint Satisfaction, Constraint Programming, and Concurrency
Practical Issues in Graphical Constraints
Distributional Semantic Content-Based Image Retrieval
Using EMG Signals to Anticipate Head Motion via Recurrent Neural Networks
Background Subtraction Using Multi-layered Mixture Model
WebGuard: A New Approach to Biometrics-based Personal Identification Using Mobile Agents
Processing Plan Selection Algorithms for a Cooperative Intelligent Image Analysis System
Visual Target Overlay Technique by Matching 3D Satellite Image and Ground-based Sensor Image
A Modified Exoskeleton and a Hausdorff Distance Matching Algorithm for Shape-Based Object Recognition
Proceedings of the International Conference on Imaging Science, Systems and Technology, CISST '04, June 21-24, 2004, Las Vegas, Nevada, USA
Learning User's Perception Using Region-based SVM for Content-based Image Retrieval
Optimal Filtering for Texture Classification: A Comparative Study
A Simple Watermark Using a Wavelet Transform
Fast Correspondence-Based System for 2-D Shape Classification
Cartoon Style Rendering of Crayon Textured Image
A Hierarchical Approach to Content-Based Image Retrieval
Automated Video Matting Using Optical Flow
An Analysis on Invertibility of Cancelable Biometrics based on BioHashing
Bit Error Recovery in MMR Coded Bitstreams Using Error Detection Points
Color Image Coding Using Region-Based Spectral Correlation Estimator
Quadrilateral Signboard Detection and Text Extraction
Development of PCB Aligning System for Exposure Machine Using Machine Vision
Rapid Hybrid Interpolation for Color Filter Array CCD
A New Broadcasting Strategy with Supporting VCR Functions for Near Video-on-Demand Systems
A Problem Specific Real-Time Image Recognition for Detecting Error on Tiles Image
Quantitation of Gamma-correction Segments for CMOS Image Sensor
An Image Alignment Technique for Planar Image Mosaicing by Hierarchical Edge-Color Matching, Chamfer Matching Methods
New Hybrid Technique for Volume Reconstruction from Limited Views Through an Optically-Thin Medium
Reconstruction and Fusion of Multi-modality Spinal Images
Collision Detection in Densely Packed Fiber Assemblies with Application to Hair Modeling
Constraint-Based 3DS Isothetic Object Layout for Declarative Scene Modeling
A Parameter Adjustment Method for Relevance Feedback
Watertight Tessellation of B-rep NURBS CAD-Models Using Connectivity Information
An Improved Adaptive Technique for Compression of Still Images
The Efficient Detection of Vanishing Points Using Inverted Coordinates Image Space
Printer Modeling for Document Imaging
Image Compresison on Spiral Architecture
Development of VRML Based ISI 3D System for Nuclear Power Plant
Lifting Scheme-Based Wavelet Packet Transform for FBI's Fingerprint Compression
A Volumetric Imaging Tool for Industrial Inspection and Scientific Analysis
An Intersection Algorithm Suitable for Geometric Trimming of B-Spline Surfaces of Aircraft Fuselage and Wing Components
A Hierarchical Surface Reconstruction Technique Using Genetic Algorithm
Calibration Method of Functional Magnetic Resonance Images
A DCT-Based Digital Watermarking
The Effect of Brightness and Contrast Adjustment on Image Saturation
Abductive Inference Model of Relevance Feedback in CBIR: A Notation and Formal Definition
Low-Bitrate Video Coding using Adaptive Wavelet Quantization of Difference Image
Interactive Rendering of n-Dimensional Polyhedra and Their Component Faces
Semantic Event Detection in Sports Video Using Hidden Markov Model
Improving Image Reconstruction Accuracy Using Discrete Orthonormal Moments
Decorrelating Medical Image Sets with Lifting: A New Approach
Intracardiac Catheter Visualization System
Fast Indexing and Retrieval of Color Image Data
Modality Conversion in Content Adaptation for Universal Multimedia Access
Cognitive Training with Virtual Reality
Virtual Navigation
Virtual Experts for Imagery Registration and Conflation
A Camera Characterization Using the Estimated Phosphor Primaries
Text Entry Devices
A Kolmogorov Complexity-Based Normalized Information Distance for Image Retrieval
Background-Adjusted Weber-Fechner Fraction Considering Crispening Effect
Encoding Qualitative Three Dimensional Shape Features
Specification of Cortical Anatomy Within the Spiral Harmonic Mosaic Algebra
Data-Adaptive Orthogonal Wavelet Abases Obtained Via Principal Component Analysis
A Robust Face Authentication Technique Based on Composite PCA Method
Automatic License Plate Recognition: a Review
A Wavelet-Based Automated Object Recognition System for Remotely Sensed Images
Use of Imaging Technology in Civil Engineering Applications
An Alternative Approach to Travel Time Studies Using GPS Technology
Region of Interest Video Coding for Result Presentation in Distributed Video Databases
3D Mesh Robust Watermarking Based on Patch CEGI
Microcalcification Detection System for Computer Aided Diagnosis
Multimodal Gait Recognition Based on Stereo Vision and 3D Template Matching
Multimedia Networking: Requirements, Technologies Issues, and a Framework for Services
Normalized Region Extraction of Facial Features by Using Hue-Based Attention Operator Robust to Illumination Variations
Mesh Watermarking Using Projection onto Convex Sets
A Video Watermarking Using the Spread Spectrum Technique in the 3D Wavelet Transform Domain
Colour and Shape Based Image Retrieval for CVPIC Coded Images
Proceedings of the International Conference on Imaging Science, Systems and Technology, CISST '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1
Using Fuzzy Set for the Radar Rays Distribution on Terrain of Different Elevations Applied on the Satellite Images
Image Registration and Conflation Based on Structural Characteristics
Recognizing Similar Acoustic Sounds Using Wavelet Packets
Surface Mesh Generation for Voxel-Based Objects by Energy Minimization
Fractal-Based Person Recognition
Simulation of a 2D Glass Painting using Multi-Pass Non-Photorealistic Rendering Technique
On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems
An Optimal Construction Algorithm for Linear Octree
Performance Evaluation of an Automated Classifier of Female Facial Beauty
Gigabit Ethernet VCNs' Traffic Feedback Control Model Use BP
A Fast Partial Distance Search Algorithm for VQ Codebook
Generation of High Quality Stream for Static Picture Quality Test in DTV System
Time Stamp Detection and Recognition in Video Frames
A Biorthogonal Wavelet for the continuous Wavelet Transform Scale of Speech Recognition
Plant and Plant Disease Recognition
Pattern-Based Image Normalization for RST Invariant Watermarking
Homogeneous Down Sampling Transcoder for MPEG-2 Video Based on Hadamard Transform
Modeling Hand Motions in a Long Natural Conversational Environment Video Sequence
Temporal-Correlaction for Separating Block PSNR to Evaluate Video Coding Quality
Intuitive Control of Deformable Object Simulation Using Geometric Constraints
Developing a Mammography P2P Medical Consultation System
An Approach to Hole Repairing for FEA Mesh
Generalization Accuracy of a Fast 2-D Shape Retrieval Method
Fingerprint Image Enhancement Algorithms: An Overview
Edge Map Improvement on Spiral Architecture
Faster and More Accurate Edge Detection on Spiral Architecture
A Study on Automatic Recognition of Power Distribution Facility Map
A License-Plate Region Extraction Method Using Properties of Wavelet Subband
On the Featureless Registration of Differently Exposed Images
A Non-Uniform Wavelet-Based Video/Image Compression Technique
Video Motion as a Video Fingerprint
Interactive Flag Identification Using Image Retrieval Techniques
Detecting Hidden Information in the Wavelet Domain
Study on Prioritization of Network Traffic for Wireless Traffic Monitoring Systems
2-D Discrete Wavelet Transform with Efficient Lifting-Based Scheme
Watermarking System for Contents Adaptation in Ubiquitous Environment
Soccer Video Summarization System Based on Hidden Markov Model with Multiple MPEG-7 Descriptors
A Fuzzy Inference Approach for Image Change Detection under Uncertainty
Determining the Locations Visited by GPS Users: A Clustering Approach
Cursive Text Line Extraction from the Destination Address Area on Mail Image
Visual Data Mining Using Monotone Boolean Function
Gray Scale CCT Compensation of Mobile Phone LCD
A Compact and Flexible Online Chinese Handwriting Recognizer Based on Hidden Markov Models
Chromatic Adaptation Model Based on the Dependence in LMS Cone Responses
Form Co-Registration
Design and Implementation of The ACA(Adaptive Component Analysis) System
Stereo Images and Genetic Algorithms: Making Computers See Depth
Design and Implementation of Networked Virtual Reality System
Semantic Rule Based Visual Representation of 2-D DFT for N=6
Hybrid Color Based Kalman Head Tracking
Multi-User Interaction in Multi-View Virtual Environments
A Low Complexity Iris Identification Algorithm using Fourier Descriptors and Neural Networks
Finding Templates for Cephalometric Landmarks Using Pulse Coupled Neural Networks and Genetic Programming