scientific article; zbMATH DE number 1383199

From MaRDI portal
Publication:4719062

zbMath0934.93001MaRDI QIDQ4719062

Stéphane Lafortune, Christos G. Cassandras

Publication date: 4 January 2000


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (only showing first 100 items - show all)

Permissive strategies: from parity games to safety gamesMPC for discrete-event systems with soft and hard synchronization constraintsA diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimizationCoinduction in Concurrent Timed SystemsDiscrete state observability of hybrid systemsConnectedness of graphs and its application to connected matroids through covering-based rough setsSymbolic control design of incrementally stable nonlinear systems with dynamic regular language specificationsSynthesis of covert actuator and sensor attackersGreedy initialization for distributed persistent monitoring in network systemsCorrectability of fault-tolerant stochastic discrete-event systemsA novel approach for supervisor synthesis to enforce opacity of discrete event systemsApproximate current state observability of discrete-time nonlinear systems under cyber-attacksDistributed diagnosis of discrete-event systems under dynamic event observationsComputation of diameter, radius and center of permutation graphsUnnamed ItemGlobally optimal solutions of max-min systemsIPA derivatives for a discrete model of make-to-stock production-inventory systems with backordersRobust nonblocking supervisory control of discrete-event systems under partial observationSupervisory control of modular systems with global specification languagesReal time identification of discrete event systems using Petri netsAn Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of MatricesOptimal empty vehicle redistribution for hub‐and‐spoke transportation systemsUnfolding-Based Diagnosis of Systems with an Evolving TopologyFlexible diagnosis of discrete-event systems by similarity-based reasoning techniquesSimulation of IPA gradients in hybrid network systemsRecursive Petri netsControl of discrete-event systems with modular or distributed structureCompositional synthesis of maximally permissive supervisors using supervision equivalenceActive acquisition of information for diagnosis and supervisory control of discrete event systemsDiagnosability of fuzzy discrete event systemsMinimum cost upgrade of phasor measurement unit networks for synchrophasor availabilityMulti-model approach to discrete events systems: application to operating mode managementCycle time assignment of min-max systemsEffective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory controlUndecidability in decentralized supervisionOn the computation of natural observers in discrete-event systemsOn Distributed Program Specification and Synthesis in Architectures with CyclesSupervisory control of product and hierarchical discrete event systemsFormal specification method for systems automationStructural decentralised control of concurrent discrete-event systemsAnalysis of multivariable controllers using degree of freedom dataState estimation and detectability of probabilistic discrete event systemsController synthesis for bisimulation equivalenceRecomposable restricted finite state machines: definition and solution approachesTaylor series expansions for stationary Markov chainsA method for the modular synthesis of controllers for timed discrete-event systemsA semiotic approach to the control of semi-autonomous robotsIntegrated decision and control of human-engineered complex systemsModelling and hierarchical diagnosis of timed discrete-event systemsSafe diagnosability for fault-tolerant supervision of discrete-event systemsSimulation of Generalised Semi-Markov Processes based on Graph Transformation SystemsCompositions of (max,+) automataCategorical foundations for randomly timed automataPerturbation analysis for production control and optimization of manufacturing systemsControl of parameterized discrete event systemsEvent counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delaysA subgradient descent algorithm for optimization of initially controllable flow shop systemsThe evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation modelsPerformance regulation of event-driven dynamical systems using infinitesimal perturbation analysisEfficient robust supervisors for discrete event systemsDiagnosability of discrete event systems with modular structureInfinitesimal perturbation analysis and optimization for make-to-stock manufacturing systems based on stochastic fluid modelsApproximating the minimal sensor selection for supervisory controlNear-optimal online control of dynamic discrete-event systemsSafe supervisory control under observability failureSolvability of centralized supervisory control under partial observationA new class of supervisors for timed discrete event systems under partial observationOn the supervisory control of multi-agent product systems: controllability propertiesWhat topology tells us about diagnosability in partial order semanticsConflict-preserving abstraction of discrete event systems using annotated automataDecentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisorDesigning communicating transaction processes by supervisory control theoryIntegrating discrete controller synthesis into a reactive programming language compilerShrinking of time Petri netsA discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in McityStochastic flow models with delays, blocking and applications to multi-intersection traffic light controlA necessary and sufficient condition for diagnosability of stochastic discrete event systemsMessage batching in wireless sensor networks -- a perturbation analysis approachDesign of decentralized critical observers for networks of finite state machines: a formal method approachDiagnosis of discrete event systems using decentralized architecturesAn efficient modular method for the control of concurrent discrete event systems: A language-based approachModal specifications for the control theory of discrete event systemsPredictability of fuzzy discrete event systemsDecentralized diagnosis of fuzzy discrete-event systemsOn \(\mathcal K\)-diagnosability of Petri nets via integer linear programmingDetectability in stochastic discrete event systemsGames for synthesis of controllers with partial observation.A new algorithm for testing diagnosability of fuzzy discrete event systemsSimulation analysis of coronary heart disease, congestive heart failure and end-stage renal disease economic burdenStochastic control via direct comparisonOn controllability of discrete event systems in a behavioral frameworkNatural projection as partial model checkingModeling and control of discrete event systems using finite state machines with variables and their applications in power gridsTiming control of switched systems with applications to robotic marionettesInfinitesimal perturbation analysis in networks of stochastic flow models: general framework and case study of tandem networks with flow controlUnfolding-based diagnosis of systems with an evolving topologyFrom classic observability to a simple fuzzy observability for fuzzy discrete-event systemsMaximizing robustness of supervisors for partially observed discrete event systems.Decentralized control of networked discrete event systems with communication delaysSynthesis of covert actuator attackers for free


Uses Software



This page was built for publication: