745 results on '"Rooda, J.E."'
Search Results
202. Coordination specification of the analytical target cascading process using the Chi language
203. Coordination specification for distributed optimal design using the Chi Language
204. Hybrid modelling and simulation of pipeless batch plants
205. Structuring performance measures
206. Multi-domain modelling, simulation and control
207. Capacity calculation of an AGV system in a MP2 wafer fab by means of simulation
208. Kwaliteit van eindproduct nauwelijks te garanderen
209. Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
210. The synthesis of time optimal supervisors by using heaps of pieces
211. Application of supervisory control theory to theme park vehicles
212. Performance analysis of a manufacturing line operated under optimal surplus-based production control
213. First-order sequential convex programming using approximate diagonal QP subproblems
214. Simulation optimization of stochastic systems with integer variables by sequential linearization
215. Agent-based control of a lithoshop : a simulation study
216. Multipoint linear approximations for stochastic chance constrained optimization problems with integer design variables
217. Substitute equations for index reduction and discontinuity handling
218. Maximally permissive distributed dupervisory control of nondeterministic discrete-event systems
219. A process-theoretic approach to supervisory control theory
220. Integration of supervisory control synthesis in model-based systems engineering
221. Simulating feedback and reversibility in substrate-enzyme reactions
222. Application of supervisory control theory to theme park vehicles
223. Performance analysis of a flexible manufacturing line operated under surplus-based production control
224. Nonconflict check by using sequential automaton abstractions
225. Aggregative synthesis of distributed supervisors based on automata abstraction
226. Model abstraction of nondeterministic finite state automata in supervisor synthesis
227. Model Predictive Control for the acquisition queue and related queueing networks
228. A specification language for problem partitioning in decomposition-based design optimization
229. Multi-modality in augmented Lagrangian coordination for distributed optimal design
230. Parallelle processen, machines en netwerken
231. Model abstraction of nondeterministic finite-state automata in supervisor synthesis
232. Production error analysis for a line of manufacturing machines, variable structure control approach
233. New concepts in the abstract format of the Compositional Interchange Format
234. Control of input/output discrete-event systems
235. Synthesize nonblocking distributed supervisors with coordinators
236. Efficient nonconflict check by using automaton abstractions
237. Sampled-data control of hybrid systems with discrete inputs and outputs
238. Computing supremal minimum-weight controllable and normal sublanguages
239. Aggregative synthesis of distributed supervisors based on automaton abstraction
240. An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems
241. Maximum permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
242. The synthesis of time optimal supervisors by using heaps-of-pieces
243. Coordinated distributed supervisory control
244. Computing supremal minimum-weight controllable and normal sublanguages
245. Hybrid Modeling and Simulation of plant/controller Combinations
246. Predicting the mean cycle time as a function of throughput and product mix for cluster tool workstations using EPT-based aggregate modeling
247. Block-separable linking constraints in augmented Lagrangian coordination
248. Coordinated distributed supervisory control
249. A classification of methods for distributed system optimization based on formulation structure
250. Psi reference manual
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.