156,379 Hits in 8.0 sec

Branching time controllers for discrete event systems

P. Madhusudan, P.S. Thiagarajan
2002 Theoretical Computer Science  
We study the problem of synthesizing controllers for discrete event systems in a branching time framework. We use a class of labelled transition systems to model both plants and speciÿcations.  ...  For both simulations and bisimulations we show that the problem of checking if a pair of ÿnite transition systems -one modelling the plant and the other the speciÿcation -admits a controller is decidable  ...  Introduction We study the problem of synthesizing controllers for discrete event systems.  ... 
doi:10.1016/s0304-3975(00)00307-8 fatcat:xyulomptczfmre2pqlefm254nm


Shunping Ji
2016 International Journal on Smart Sensing and Intelligent Systems  
In a discrete-event system, more than one sensor will create more than one event. Several events may happen at the same time parallelly.  ...  From two examples shown in Section VI, the new model and supervisor theory for multi-sensors and multi-states discrete-event system are more convenient and natural than that of the traditional theories  ...  INTRODUCTION A discrete-event system (DES) is a system in which events are discrete in time.  ... 
doi:10.21307/ijssis-2017-950 fatcat:hyquht3urrfhrazq4mt4c66hpq

Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications [chapter]

Martin Buss, Markus Glocker, Michael Hardt, Oskar von Stryk, Roland Bulirsch, Günther Schmidt
2002 Lecture notes in control and information sciences  
Hybrid dynamical systems are characterized by discrete event and continuous dynamics which have an interconnected structure and can thus represent an extremely wide range of systems of practical interest  ...  This work is particularly focused on systems for which the degree of discrete/continuous interconnection is comparatively strong and the continuous portion of the dynamics may be highly nonlinear and of  ...  These may be triggered by a time event (TE) occurring at a certain time or by a state event (SE) if the system state reaches a certain value.  ... 
doi:10.1007/3-540-45426-8_18 fatcat:rperfpglfjd43cl4zqm2oxrstm


Martin Buss, Michael Hardt, Oskar von Stryk
2002 IFAC Proceedings Volumes  
The hybrid system state and structure changes discontinuously when an autonomous or controlled discrete event at a particular time or state occurs.  ...  , and ii) branch-and-bound algorithm for mixed-binary-optimal control problems.  ... 
doi:10.3182/20020721-6-es-1901.00890 fatcat:penfsjsuurcpbg75ef64yjrsai


James Millan, Siu O'Young
2006 IFAC Proceedings Volumes  
Discrete event supervisory controller synthesis techniques are used to construct a controller based on a DES speci...cation and the abstracted plant model.  ...  This paper describes a technique for synthesizing controllers for hybrid plants.  ...  A MATLAB toolbox for simulation and control synthesis for mixed logi-cal dynamical (MLD) hybrid systems in discrete time is available (Torrisi and Bemporad 2004) .  ... 
doi:10.3182/20060607-3-it-3902.00073 fatcat:lmid234y75ezjieavtk4jpvbyy

Hybrid System Control Using an On-Line Discrete Event Supervisory Strategy [chapter]

James Millan, Siu O'Young
2006 Analysis and Design of Hybrid Systems 2006  
A MATLAB toolbox for simulation and control synthesis for mixed logi-cal dynamical (MLD) hybrid systems in discrete time is available (Torrisi and Bemporad 2004) .  ...  Each choice (or branch) corresponds to a continuous simulation with event detection and each simulation has an associated discrete event equivalent transition de…ned as follows. De…nition 3.  ... 
doi:10.1016/b978-008044613-4.50072-0 fatcat:sdluty3b5bbajgtgax6vts6564

Research on Time-Dependent Failure Modeling Method of Integrating Discrete Dynamic Event Tree With Fault Tree

Anqi Xu, Zhijian Zhang, Min Zhang, He Wang, Huazhi Zhang, Sijuan Chen
2019 Frontiers in Energy Research  
Possible dependencies and configuration consistency issues accounting for Discrete Event Tree (DET) branch probabilities are discussed.  ...  However, it is time-consuming to establish a complicated full-scope system simulation model.  ...  Possible dependencies and configuration consistency issues accounting for Discrete Event Tree (DET) branch probabilities are discussed.  ... 
doi:10.3389/fenrg.2019.00074 fatcat:ihmi3rldrnehtjqw3dk25aceg4

Comprehensive passenger demand-dependent traffic control on a metro line with a junction and a derivation of the traffic phases [article]

Florian Schanzenbacher, Nadir Farhi, Fabien Leurent, Gérard Gabriel
2018 arXiv   pre-print
The derived diagram can be used for the optimization of the traffic control on the metro line and at the junction.  ...  The dynamic model includes control laws on the dwell and on the run time, taking into account the passenger travel demand.  ...  Conclusion We have presented a discrete event traffic model for a metro line with a symmetrically operated junction.  ... 
arXiv:1811.08347v1 fatcat:klze4ji2gbdcbenadit43tzmxu

Process Modelling Support for the Conceptual Modelling Phase of a Simulation Project

Cathal Heavey, John Ryan
2006 Proceedings of the 2006 Winter Simulation Conference  
The GRAI model offers a means of modelling the detailed information and control interactions within a discrete event system.  ...  Branching Elements: Most discrete event systems are complex in nature and are rarely, if ever, linear.  ... 
doi:10.1109/wsc.2006.323161 dblp:conf/wsc/HeaveyR06 fatcat:sxcq7wzbqjdntbcfwmfr4ajkca

Dynamic Modeling of Cascading Failure in Power Systems

Jiajia Song, Eduardo Cotilla-Sanchez, Goodarz Ghanavati, Paul D. H. Hines
2016 IEEE Transactions on Power Systems  
In order to test the model we simulated a batch of randomly selected N-2 contingencies for several different static load configurations, and found that the distribution of blackout sizes and event lengths  ...  The modeling of cascading failure in power systems is difficult because of the many different mechanisms involved; no single model captures all of these mechanisms.  ...  Every time a discrete event happens (h < 0 and d = 0), COSMIC stops solving the DAE for the previous network configuration, processes the discrete event(s), then resumes the DAE solver using the updated  ... 
doi:10.1109/tpwrs.2015.2439237 fatcat:tumikn26jzcyrig6mxvcngknya

Simulation Based Probabilistic Risk Assessment (SIMPRA): Risk Based Design [article]

Hamed S Nejad, Tarannom Parhizkar, Ali Mosleh
2021 arXiv   pre-print
For illustrative purposes, an earth observation satellite system example is introduced.  ...  Although this approach may work fairly well for regular design problems, it is not satisfactory for the design of highly sensitive and complex systems where significant resources and even lives are at  ...  The evolution of the model is traced by solving the continuous-time system in intervals between discrete events generated by the discrete system.  ... 
arXiv:2110.06806v1 fatcat:qly74sfi7zftvntczwejfxcyem

Traffic Flow Simulation on Discrete Rate Approach Base

Mihails Savrasovs
2012 Transport and Telecommunication  
The main goal of this paper is to present examples of the application of the discrete rate approach of ExtendSim simulation software for traffic flow simulation.  ...  In general, mesoscopic traffic flow models are understood to be models where traffic flow is described with a high level of detail, but at the same time flow behaviour and flow interactions are presented  ...  In the case of system dynamics there is a predefined time change, in the case of the discrete rate, the events cause a change of the state of the system.  ... 
doi:10.2478/v10244-012-0014-8 fatcat:444urqestzdbrjuavwkulublfu

Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks [chapter]

Pece Mitrevski, Zoran Kotevski
2012 Petri Nets - Manufacturing and Computer Science  
heterogeneity and video buffering, among which control traffic overhead and admission control for lesser contributing peers are introduced for the first time.  ...  In Figures 5a-b , a comparison of discretization results and results obtained using discrete-event simulation for a four-wide machine is given.  ... 
doi:10.5772/50615 fatcat:zfhz3npcafalzdmjhj6evv7m5m

Process modeling for simulation

John Ryan, Cathal Heavey
2006 Computers in industry (Print)  
However, the technique does not allow for the modeling of the change of state of a discrete event system or the control of discrete systems.  ...  Branching Elements: Most discrete event systems are complex in nature and are rarely, if ever, linear.  ... 
doi:10.1016/j.compind.2006.02.002 fatcat:74vtqp3ahvfebn4ru4ot67nvze

A benchmark of dynamic reliability methods for probabilistic safety assessment

Xiaolei Pan, Francesco Di Maio, Enrico Zio
2017 2017 2nd International Conference on System Reliability and Safety (ICSRS)  
This paper benchmarks these particular methods by applying them to a classic level control dynamic system and to a realistic Emergency and Standby Power System (ESPS).  ...  Various dynamic reliability methods have been developed during the last several decades, such as Monte Carlo (MC) simulation, Dynamic Event Tree (DET) and Monte Carlo Dynamic Event Tree (MCDET) methods  ...  The time discretization considered for the simulation is set equal to 0.1 h.  ... 
doi:10.1109/icsrs.2017.8272801 fatcat:sc75huxlvze4tls7es7nbbftve
« Previous Showing results 1 — 15 out of 156,379 results