94 research outputs found
Nonconflict check by using sequential automaton abstractions
In Ramadge-Wonham supervisory control theory we often need to check nonconflict of plants and corresponding synthesized supervisors. For a large system such a check imposes a great computational challenge because of the complexity incurred by composition of plants and supervisors. In this paper we present a novel procedure based on automaton abstractions, which removes internal transitions of relevant automata at each step, allowing the nonconflict check to be performed over relatively small automata, even though the original system can be fairly large
Zand-bentoniet mengsels als afdichtingsmateriaal voor vuilstortplaatsen
In Nederland dringt per jaar gemiddeld een neerslagoverschot van 300 mm de grond in, Wanneer er zich afvalstoffen op of in de grond bevinden, bestaat de kans dat door oplossen van afvalbestanddelen in het percolerende water, grondwater en bodem in de omgeving van een vuilstortplaats vervuild worden. De te nemen maatregelen ter beperking van de grondwater- en bodemvervuiling in de omgeving van stortplaatsen is nader bekeken
Coordination Specification for Distributed Optimal System Design Using the Chi Language
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76202/1/AIAA-2002-5410-847.pd
Coordination Specification of the Analytical Target Cascading Process using the Chi Language
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76587/1/AIAA-2002-5637-610.pd
- …