Modeling Choice in Co-Design
dc.contributor.author
Furter, Marius
dc.contributor.supervisor
Lorand, Jonathan
dc.date.accessioned
2022-02-14T16:51:45Z
dc.date.available
2022-02-13T10:11:51Z
dc.date.available
2022-02-13T10:39:56Z
dc.date.available
2022-02-14T07:12:13Z
dc.date.available
2022-02-14T08:37:12Z
dc.date.available
2022-02-14T16:51:45Z
dc.date.issued
2021-07-20
dc.identifier.uri
http://hdl.handle.net/20.500.11850/532280
dc.identifier.doi
10.3929/ethz-b-000532280
dc.description.abstract
This report describes a method for modeling free and forced choice within Co-Design. In a free choice among a set, one has control over which option is selected, while in a forced choice one does not. Given a preorder P describing resources or functionalities, a free choice among a subset of P acts like a meet. Dually, a forced choice acts like a join. Moreover, the two types of choice distribute over one another. Based on this, we construct a universal model for choice on a preorder using the free completely distributive lattice ULP. Feasibility relations are then extended to these models. Along the way, we illustrate how to work within ULP and provide results that simplify calculations. The definitions presented here have been implemented in Haskell.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
ETH Zurich, Institute for Dynamic Systems and Control
en_US
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
dc.subject
codesign
en_US
dc.title
Modeling Choice in Co-Design
en_US
dc.type
Student Paper
dc.rights.license
Creative Commons Attribution 4.0 International
ethz.size
38 p.
en_US
ethz.publication.place
Zurich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02130 - Dep. Maschinenbau und Verfahrenstechnik / Dep. of Mechanical and Process Eng.::02619 - Inst. Dynam. Syst. u. Regelungstechnik / Inst. Dynamic Systems and Control::09574 - Frazzoli, Emilio / Frazzoli, Emilio
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02130 - Dep. Maschinenbau und Verfahrenstechnik / Dep. of Mechanical and Process Eng.::02619 - Inst. Dynam. Syst. u. Regelungstechnik / Inst. Dynamic Systems and Control::09574 - Frazzoli, Emilio / Frazzoli, Emilio
en_US
ethz.relation.isSupplementedBy
https://github.com/MariusFurter/Choice-in-CoDesign
ethz.date.deposited
2022-02-13T10:11:57Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2022-02-14T07:12:24Z
ethz.rosetta.lastUpdated
2023-02-07T00:14:07Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Modeling%20Choice%20in%20Co-Design&rft.date=2021-07-20&rft.au=Furter,%20Marius&rft.genre=unknown&rft.btitle=Modeling%20Choice%20in%20Co-Design
Files in this item
Publication type
-
Student Paper [223]