An embedded domain specific language for auction simulation written in Scala and Java 8.
Our current API design is based loosely on ideas gleaned from the following.
- Wurman et al (1998) Flexible double auctions for electronic commerce: theory and implementation
- Wellman and Walsh (2001) A Parametrization of the Auction Design Space
- Nisan et al (2007) Algorithmic Game Theory
Primary focus for version 0.1.0 is on developing a minimal API based around the key ingredients discussed in the Wurman et al (1998) paper. Rough road map that should take us through the end of 2017:
- Version 0.2.0: extend the API to allow for multi-unit auctions. Incentive structures in multi-unit auctions often differ in important ways from the incentive structures in single unit auctions. Multi-unit auctions are critical for modeling electricity auctions which are a key use case.
- Version 0.3.0 will extend the API to incorporate single unit combinatorial auctions.
In the longer term, we would like to generalize the auctions API so that auctions can be thought of as special types of social choice mechanisms that use "money" (see chapter 10 from Nisan et al (2007) for discussion and details).
The design and imlementation of our API is heavily influences by functional programming principles and techniques. In particular we strive to...
- ...minimize (or eliminate!) side effects;
- ...maintain a thread-safe API in order to maximally exploit concurrency and parallelism where appropriate;
- ...make illegal program states unrepresentable (i.e., programs that would lead to invalid states should not compile!).
...perhaps more succinctly, we want to push as much of the auction domain modeling into the type system as possible so that we can leverage to compiler to identify modeling errors at compile time (rather than forcing the user to catch modeling errors during/after runtime).
Design and simulation of electricity auctions (particularly peer-to-peer auctions); market simulation models for "Economy of Things" applications.
Three high-level uses cases: modeling wholesale electricity auctions that are currently being used to price and allocate electricity in many regions and countries around the world; modeling peer-to-peer electricity auctions that are currently being developed to price and allocate (typically renewably generated!) electricity between individual households; combinatoric auctions that could be used to price and allocate bundles of electricity services.
Wholesale electricity auctions are discrete, multi-unit, reverse auctions; electricity auctions differ in the duration for which suppliers' bids are valid; suppliers operate under binding capacity constraints. In order to model wholesale electricity auctions we need an API that supports
- Multi-unit auctions
- Reverse auctions
- Discrete prices and quantities (units matter!)
- Orders that can persist across multiple clearing events
Much ink has been spilt about optimal pricing rules for wholesale electricity auctions. In particular, under what circumstances will uniform price auctions outperform (or underperfom!) discrimatory price auctions? In order to address this question the API needs to support both uniform and discriminatory pricing rules.
Intra-day, real-time electricity auctions are typically operated as continuous double auctions (much like financial markets). Far from obvious that continuous double auctions are optimal auction design for intra-day electricity markets. If real-time auctions should not clear continuously, what is the optimal clearing frequency of intra-day electricity markets?
Currently a number of energy sector startups involved in developing technologies that allow individual households to trade electricity with one another using Blockchain-based technologies to process payments. A non-exhaustive list of examples would be...
- Power Ledger Perth, Australia.
- Grid Singularity, Vienna, Austria.
- L03 Energy, New Yoork, USA.
...how can we optimally design auction mechanisms to facilitate efficient pricing and allocation of electricity in peer-to-peer markets? How relevant is research done at Google, Amazon, et al on design of ecommerce auctions?
Currently auctions for electricity are independent of auctions for ancillary energy services, such as storage. In the future, electricity auctions could be combined so that electricity as well as supporting ancillary services can be auctioned together as bundles. This requires that our API be able to handle multi-dimensional or combinatorial auctions.
We have started implementing a proof-of-concept trading platform that would allow Internet-of-Things (IoT) enabled devices to trade with one another using our auctions mechanisms.