Search

Your search keyword '"discrete event system"' showing total 1,384 results

Search Constraints

Start Over You searched for: Descriptor "discrete event system" Remove constraint Descriptor: "discrete event system"
1,384 results on '"discrete event system"'

Search Results

201. Modeling and dynamic analysis for a kind of transportation system.

202. Fuzz-iDEVS: An approach to model imprecisions in Discrete Event Simulation.

203. A Supervisory Control Theoretic Approach to the Analysis of Democratic Progress.

204. Variance minimization of parameterized Markov decision processes.

205. Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS.

206. 康复机器人上肢传递系统的周期稳态与自主控制.

207. A Two-level Traffic Light Control Strategy for Preventing Incident-Based Urban Traffic Congestion.

210. About the Predictability and Complexity of Complex Systems

211. TerraMax: Team Oshkosh Urban Robot

216. Statistical Model Checking Using Perfect Simulation

217. Games with Opacity Condition

218. Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games

219. Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems

220. Symbolic Reachability Analysis of Integer Timed Petri Nets

221. Deadlock detection-oriented unfolding of unbounded Petri nets.

223. Placement Inference for a Client-Server Calculus

224. Programmed Graph Rewriting with DEVS

225. Unfolding-Based Diagnosis of Systems with an Evolving Topology

226. Controlling Petri Net Process Models

227. On Controllability of Timed Continuous Petri Nets

232. On Synthesizing Controllers from Bounded-Response Properties

233. A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems

234. A Hybrid Approach to Modeling Biological Systems

240. Petri Nets

242. Discrete Event Systems

243. Introduction

245. An Intelligent Technique Based on Petri Nets for Diagnosability Enhancement of Discrete Event Systems

246. On Distributed Program Specification and Synthesis in Architectures with Cycles

247. Modeling Robot Path Planning with CD++

248. Improved Cell-DEVS Models for Fire Spreading Analysis

249. Max-Plus Convex Geometry

250. Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach

Catalog

Books, media, physical & digital resources