| Faults prognosis using partially observed stochastic Petri-nets: an incremental approach |
5 |
| Current-state opacity enforcement in discrete event systems under incomparable observations |
4 |
| Probabilistic system opacity in discrete event systems |
4 |
| Diagnosability of repairable faults |
3 |
| Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation |
2 |
| A discrete MMAP for analysing the behaviour of a multi-state complex dynamic system subject to multiple events |
2 |
| Implementation of inference-based diagnosis: computing delay bound and ambiguity levels |
2 |
| Variance minimization of parameterized Markov decision processes |
2 |
| Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces |
2 |
| Discrete event system identification with the aim of fault detection |
2 |
| Detectability of networked discrete event systems |
2 |
| Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling |
1 |
| Time-optimal control of large-scale systems of systems using compositional optimization |
1 |
| Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters |
1 |
| SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time |
1 |
| Finite horizon continuous-time Markov decision processes with mean and variance criteria |
1 |
| An improved approach for marking optimization of timed weighted marked graphs |
1 |
| Toward a decision support system for the clinical pathways assessment |
1 |
| Approximated timed reachability graphs for the robust control of discrete event systems |
1 |
| Ranking nodes in general networks: a Markov multi-chain approach |
1 |
| Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation |
1 |
| Optimal energy-efficient policies for data centers through sensitivity-based optimization |
0 |
| Instruction-throughput regulation in computer processors with data-center applications |
0 |
| Opacity for linear constraint Markov chains |
0 |
| Characterizations and effective computation of supremal relatively observable sublanguages |
0 |
| Solving a class of simulation-based optimization problems using optimality in probability |
0 |
| Optimal on-off control for a class of discrete event systems with real-time constraints |
0 |
| Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes |
0 |
| Correction to Synchronizing sequences on a class of unbounded systems using synchronized Petri nets |
0 |
| Markovian dynamics of concurrent systems |
0 |
| Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN |
0 |
| A controller synthesis framework for automated service composition |
0 |
| A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity |
0 |
| Resource-aware networked control systems under temporal logic specifications |
0 |
| On controlling prioritized discrete event systems with real-time constraints |
0 |
| A hierarchical consistency framework for real-time supervisory control |
0 |
| Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems |
0 |
| Computing observers from observation policies in discrete-event systems |
0 |
| Assigning multiple job types to parallel specialized servers |
0 |
| Sparsity in max-plus algebra and systems |
0 |
| Efficient generation of performance bounds for a class of traffic scheduling problems |
0 |
| Coupling in the queue with impatience: case of several servers |
0 |
